Chapter: Set Operations

Within a universal set, it is possible to create new sets from previously existing ones using set operations. We will now introduce the most important set operations and visualize them using Venn diagrams, in which the white areas indicate the original sets and the shaded areas indicate the new sets.

  1. Definition: Set Union
  2. Definition: Set Intersection
  3. Definition: Set Complement
  4. Definition: Set Difference
  5. Proposition: De Morgan's Laws (Sets)
  6. Proposition: Distributivity Laws For Sets
  7. Proposition: Sets and Their Complements

Branches: 1 2 3 4
Lemmas: 5
Parts: 6


Thank you to the contributors under CC BY-SA 4.0!

Github:
bookofproofs