Sets

• Introduction
  • Enumerated Sets
  • Formal Sets
  • Indexed Sets
  • Multisets
  • Compatibility
  • Notation
• Creating Sets
  • The Formal Set Constructor
    • Formal set constructor
  • The Enumerated Set Constructor
    • The null set
    • The empty set with universe
    • { e_1, e_2, ..., e_n }
    • Example: Universe
    • { U | e_1, e_2, ..., e_n }

Index | Module Index | Search Page