The Clowder Project

4.3 Operations With Sets

• Subsection 4.3.1: The Empty Set
  • Definition 4.3.1.1.1: The Empty Set
• Subsection 4.3.2: Singleton Sets
  • Definition 4.3.2.1.1: Singleton Sets
• Subsection 4.3.3: Pairings of Sets
  • Definition 4.3.3.1.1: Pairings of Sets
• Subsection 4.3.4: Ordered Pairs
  • Definition 4.3.4.1.1: Ordered Pairs
  • Proposition 4.3.4.1.2: Properties of Ordered Pairs
• Subsection 4.3.5: Sets of Maps
  • Definition 4.3.5.1.1: Sets of Maps
  • Proposition 4.3.5.1.2: Properties of Sets of Maps
• Subsection 4.3.6: Unions of Families of Subsets
  • Definition 4.3.6.1.1: Unions of Families of Subsets
  • Proposition 4.3.6.1.2: Properties of Unions of Families of Subsets
• Subsection 4.3.7: Intersections of Families of Subsets
  • Definition 4.3.7.1.1: Intersections of Families of Subsets
  • Proposition 4.3.7.1.2: Properties of Intersections of Families of Subsets
• Subsection 4.3.8: Binary Unions
  • Definition 4.3.8.1.1: Binary Unions
  • Proposition 4.3.8.1.2: Properties of Binary Unions
• Subsection 4.3.9: Binary Intersections
  • Definition 4.3.9.1.1: Binary Intersections
  • Proposition 4.3.9.1.2: Properties of Binary Intersections
• Subsection 4.3.10: Differences
  • Definition 4.3.10.1.1: Differences
  • Proposition 4.3.10.1.2: Properties of Differences
• Subsection 4.3.11: Complements
  • Definition 4.3.11.1.1: Complements
  • Proposition 4.3.11.1.2: Properties of Complements
• Subsection 4.3.12: Symmetric Differences
  • Definition 4.3.12.1.1: Symmetric Differences
  • Proposition 4.3.12.1.2: Properties of Symmetric Differences