The union of two sets A and B (written A ∪ B) is the set of all elements that belong to A or B (or both). The intersection of two sets A and B (written A ∩ B) is the set of all elements that belong to both A and B. Union corresponds to the logical OR (include if in either set), and intersection corresponds to the logical AND (include only if in both sets). Two sets with no elements in common have an empty intersection and are called disjoint.
Start with concrete examples. A = {1, 2, 3, 4}, B = {3, 4, 5, 6}. Union: {1, 2, 3, 4, 5, 6} (everything from either set, no duplicates). Intersection: {3, 4} (only the elements in both). Use Venn diagrams to visualize: union is the entire shaded region, intersection is only the overlap. Connect to logical connectives: ∪ is like OR, ∩ is like AND. Practice with word-based sets: "students who play basketball" ∪ "students who play soccer" = "students who play at least one sport."
Union and intersection are the two most fundamental operations on sets. They combine sets to create new sets, just as addition and multiplication combine numbers to create new numbers. And just as understanding addition and multiplication is essential for arithmetic, understanding union and intersection is essential for all set-based reasoning.
The union A ∪ B collects everything from both sets. If A = {1, 2, 3} and B = {3, 4, 5}, then A ∪ B = {1, 2, 3, 4, 5}. Notice that 3 appears in both A and B, but it appears only once in the union — sets do not have duplicates. The union answers the question "what belongs to at least one of these sets?" It corresponds to the logical OR: an element is in A ∪ B if it is in A or in B or in both.
The intersection A ∩ B keeps only what is shared. With the same sets, A ∩ B = {3} — the only element in both. The intersection answers "what belongs to both of these sets?" It corresponds to the logical AND: an element is in A ∩ B if it is in A and in B.
When two sets share no elements at all, their intersection is the empty set: A ∩ B = ∅. Such sets are called disjoint. The sets {1, 2} and {3, 4} are disjoint — they have nothing in common. Disjointness is important because when sets are disjoint, counting becomes simpler: |A ∪ B| = |A| + |B| exactly, with no overlap to worry about.
When the sets do overlap, you need the inclusion-exclusion principle: |A ∪ B| = |A| + |B| - |A ∩ B|. Adding the sizes of A and B double-counts the elements in the intersection (they get counted once in |A| and again in |B|), so you subtract |A ∩ B| to compensate. If 18 students play basketball and 14 play soccer but 7 play both, the total playing at least one sport is 18 + 14 - 7 = 25, not 32. This principle extends to three or more sets, though the formula becomes more involved.
The connection between set operations and logical connectives is deep and worth internalizing. Union (∪) corresponds to OR (∨). Intersection (∩) corresponds to AND (∧). This parallel will strengthen as you learn about complements (which correspond to NOT) and study De Morgan's Laws for sets. The language of sets and the language of logic describe the same structures from different angles.