Mathematics · Ch 1 — Sets
Operations on Sets
Operations on Sets
1.9 Operations on Sets
In earlier classes, you learned how to add, subtract, multiply, and divide numbers. Each operation took a pair of numbers and produced a single number. For instance, adding 5 and 13 gives 18; multiplying them gives 65.
Sets have their own operations. When we perform an operation on two sets, we get another set. From now on, we assume every set we discuss is a subset of some fixed universal set, which we denote by .
Union of Sets
The union of two sets and is the set of all elements that belong to or to (or to both). We write it as .
In set-builder notation:
The word "or" here is inclusive — it means "at least one of the two sets contains the element."
The union operation corresponds to the logical "OR." An element is in if it satisfies at least one of the conditions: being in or being in .
Example. Let and . Then . The elements 6 and 8 appear in both sets, but we list them only once in the union.
Example. If and , then .
Example. Let and . Then .
Do not list any element more than once in the union. Even if an element belongs to both sets, it appears exactly once in .
Intersection of Sets
The intersection of two sets and is the set of all elements that belong to both and . We write it as .
In set-builder notation:
The intersection operation corresponds to the logical "AND." An element is in only if it satisfies both conditions simultaneously.
Example. Let and . Then .
Example. If and , then (the empty set). Sets with no common elements are called disjoint sets.
Example. Let and . Then .
Two sets and are called disjoint if . Disjoint sets have no element in common.
Difference of Sets
The difference of two sets and , written as or , is the set of all elements that belong to but not to .
In set-builder notation:
Similarly, is the set of elements in but not in .
The difference operation is not commutative. In general, . The order matters: removes from everything that is also in .
Example. Let and . Then:
- (remove 6 and 8 from )
- (remove 6 and 8 from )
Example. If and , then and .
Complement of a Set
Let be the universal set. The complement of a set (relative to ) is the set of all elements of that are not in . We denote it by or .
In set-builder notation:
Equivalently, .
The complement operation is a special case of the difference operation: . It depends entirely on the choice of universal set .
Example. Let and . Then .
Example. If (the set of natural numbers) and , then , the set of all natural numbers greater than 3.
Properties of Complement
The textbook lists several important properties of the complement operation. Each one is proved below.
›Proof
Property 1: Complement Laws
- Proof of (i): Let . Then or . If , then (since ). If , then by definition of complement. So every element of is in , meaning . Conversely, let . Then either or . If , then . If , then , so again . Thus . Since both inclusions hold, . Proof of (ii): Suppose . Then and . But means . An element cannot simultaneously belong to and not belong to . This contradiction shows that no such exists. Hence .
›Proof
Property 2: Law of Double Complementation
Proof:
Let . Then . But contains all elements of that are not in . So means is not one of those elements — that is, . Hence .
Conversely, let . Then (since contains only elements not in ). Therefore . So .
Both inclusions give .
›Proof
Property 3: Laws of Empty Set and Universal Set
- Proof of (i): . Since contains no elements, every satisfies . Thus . Proof of (ii): . No element of can satisfy , so has no elements. Hence .
›Proof
Property 4: De Morgan's Laws
- Proof of (i): Let . Then . This means is not in and is not in (if were in either, it would be in the union). So and , hence . Thus . …