The Clowder Project

2.3 Operations With Sets

• Subsection 2.3.1: The Empty Set
  • Definition 2.3.1.1.1: The Empty Set
• Subsection 2.3.2: Singleton Sets
  • Definition 2.3.2.1.1: Singleton Sets
• Subsection 2.3.3: Pairings of Sets
  • Definition 2.3.3.1.1: Pairings of Sets
• Subsection 2.3.4: Ordered Pairs
  • Definition 2.3.4.1.1: Ordered Pairs
  • Proposition 2.3.4.1.2: Properties of Ordered Pairs
• Subsection 2.3.5: Sets of Maps
  • Definition 2.3.5.1.1: Sets of Maps
  • Proposition 2.3.5.1.2: Properties of Sets of Maps
• Subsection 2.3.6: Unions of Families
  • Definition 2.3.6.1.1: Unions of Families
• Subsection 2.3.7: Binary Unions
  • Definition 2.3.7.1.1: Binary Unions
  • Proposition 2.3.7.1.2: Properties of Binary Unions
• Subsection 2.3.8: Intersections of Families
  • Definition 2.3.8.1.1: Intersections of Families
• Subsection 2.3.9: Binary Intersections
  • Definition 2.3.9.1.1: Binary Intersections
  • Proposition 2.3.9.1.2: Properties of Binary Intersections
  • Remark 2.3.9.1.3: Intuition for the Internal $\mathbf{Hom}$ of $\mathcal{P}\webleft (X\webright )$
• Subsection 2.3.10: Differences
  • Definition 2.3.10.1.1: Differences
  • Proposition 2.3.10.1.2: Properties of Differences
• Subsection 2.3.11: Complements
  • Definition 2.3.11.1.1: Complements
  • Proposition 2.3.11.1.2: Properties of Complements
• Subsection 2.3.12: Symmetric Differences
  • Definition 2.3.12.1.1: Symmetric Differences
  • Proposition 2.3.12.1.2: Properties of Symmetric Differences