Sets: Notations and Set Operations

Sets: Notations and Set Operations

In mathematics, a set is a well-defined collection of distinct objects, considered as an object in its own right. Sets are fundamental in various areas of mathematics, and understanding their notation and operations is essential for many topics in discrete structures, logic, and beyond.

1. Notation of Sets

The basic idea of a set is to represent a collection of elements (or members). The notation used for sets typically involves curly brackets {}.

• Set Builder Notation: Describes a set by stating the properties that its members must satisfy. For example, the set of all even numbers can be written as:

  $$\{ x \mid x \text{ is an even number} \}$$

  This reads as "the set of all $x$ such that $x$ is an even number."

• Roster or Tabular Notation: In this notation, the set is explicitly listed by its elements. For example:

  $$A = \{ 1, 2, 3, 4 \}$$

  This means that $A$ is the set containing the numbers 1, 2, 3, and 4.

• Set Membership: To denote that an element $x$ is a member of a set $A$, we use the symbol $\in$. If $x$ is an element of $A$, we write:

  $$x \in A$$

  If $x$ is not an element of $A$, we write:

  $$x \notin A$$

• Empty Set: The set with no elements is called the empty set, and is denoted by:

  $$\emptyset \quad \text{or} \quad \{\}$$

• Universal Set: The set that contains all possible elements within a particular context or discussion is called the universal set, often denoted by $U$.

---

2. Types of Sets

• Finite Set: A set with a specific number of elements. For example, $A = \{1, 2, 3\}$.

• Infinite Set: A set with an infinite number of elements. For example, $B = \{1, 2, 3, 4, 5, \dots \}$ represents the set of all positive integers.

• Subset: A set $A$ is a subset of a set $B$ if every element of $A$ is also an element of $B$. This is denoted as:

  $$A \subseteq B$$

  If $A$ is a subset of $B$, but $A$ is not equal to $B$, we write:

  $$A \subset B$$

• Proper Subset: A set $A$ is a proper subset of a set $B$ if every element of $A$ is in $B$, and $B$ contains at least one element that is not in $A$. This is denoted as:

  $$A \subset B$$

• Power Set: The power set of a set $A$ is the set of all subsets of $A$. It is denoted as:

  $$P(A) \quad \text{or} \quad \mathcal{P}(A)$$

  For example, if $A = \{1, 2\}$, then the power set $P(A)$ is:

  $$P(A) = \{\emptyset, \{1\}, \{2\}, \{1, 2\}\}$$

• Universal Set: The universal set is the set that contains all possible elements for a given context. If $A$ is a subset of the universal set $U$, then every element in $A$ is also in $U$.

---

3. Set Operations

Union of Sets ($\cup$)

The union of two sets $A$ and $B$ is the set that contains all elements that are in $A$, in $B$, or in both. This is denoted by:

$$A \cup B = \{ x \mid x \in A \text{ or } x \in B \}$$

For example, if $A = \{1, 2, 3\}$ and $B = \{3, 4, 5\}$, then:

$$A \cup B = \{1, 2, 3, 4, 5\}$$

Intersection of Sets ($\cap$)

The intersection of two sets $A$ and $B$ is the set of elements that are common to both $A$ and $B$. This is denoted by:

$$A \cap B = \{ x \mid x \in A \text{ and } x \in B \}$$

For example, if $A = \{1, 2, 3\}$ and $B = \{3, 4, 5\}$, then:

$$A \cap B = \{3\}$$

Difference of Sets ($-$)

The difference of two sets $A$ and $B$ (also called the set difference) is the set of elements that are in $A$ but not in $B$. This is denoted by:

$$A - B = \{ x \mid x \in A \text{ and } x \notin B \}$$

For example, if $A = \{1, 2, 3\}$ and $B = \{3, 4, 5\}$, then:

$$A - B = \{1, 2\}$$

Similarly, the difference $B - A$ would be $\{4, 5\}$.

Complement of a Set ($A^c$ or $\overline{A}$)

The complement of a set $A$ refers to the elements that are in the universal set $U$ but not in $A$. This is denoted by:

$$A^c = \{ x \mid x \in U \text{ and } x \notin A \}$$

For example, if the universal set $U = \{1, 2, 3, 4, 5\}$ and $A = \{1, 2, 3\}$, then:

$$A^c = \{4, 5\}$$

Symmetric Difference of Sets

The symmetric difference of two sets $A$ and $B$ is the set of elements that are in either $A$ or $B$, but not in both. It is denoted by:

$$A \Delta B = (A - B) \cup (B - A)$$

For example, if $A = \{1, 2, 3\}$ and $B = \{3, 4, 5\}$, then:

$$A \Delta B = \{1, 2, 4, 5\}$$

---

4. Venn Diagrams

Venn diagrams are often used to visualize set operations. In a Venn diagram, each set is represented by a circle, and the relationships between the sets (such as union, intersection, and difference) are shown by the overlap or separation of the circles.

• Union: The area covered by both sets (overlapping regions and individual set areas).
• Intersection: The area where the circles overlap.
• Difference: The area in one circle that is not in the other.
• Complement: The area outside the circle (but within the universal set).

---

5. Summary of Set Operations

Operation	Symbol	Description	Example
Union	$A \cup B$	All elements in $A$ or $B$ (or both)	$\{1, 2, 3\} \cup \{3, 4, 5\} = \{1, 2, 3, 4, 5\}$
Intersection	$A \cap B$	All elements in both $A$ and $B$	$\{1, 2, 3\} \cap \{3, 4, 5\} = \{3\}$
Difference	$A - B$	Elements in $A$, but not in $B$	$\{1, 2, 3\} - \{3, 4, 5\} = \{1, 2\}$
Complement	$A^c$	Elements in the universal set but not in $A$	$A = \{1, 2, 3\}, U = \{1, 2, 3, 4, 5\}, A^c = \{4, 5\}$
Symmetric Difference	$A \Delta B$	Elements in $A$ or $B$, but not both	$\{1, 2, 3\} \Delta \{3, 4, 5\} = \{1, 2, 4, 5\}$

---

Conclusion

Understanding set notation and set operations is fundamental for working with sets in mathematics. These operations provide powerful tools for manipulating and reasoning about collections of objects. Whether you're performing algebraic manipulations or applying these operations in logic or computer science, they are critical building blocks in discrete mathematics and related fields.