- Aleph null
- Bijection, injection and surjection
- Binary set
- Cantor's diagonal argument
- Cantor's theorem
- Cardinality of the continuum
- Cardinal number
- Codomain
- Complement (set theory)
- Continuum hypothesis
- Countable set
- Decidable set
- Denumerable set
- Disjoint sets
- Disjoint union
- Domain of a function
- Domain
- Effective enumeration
- Element (mathematics)
- Empty function
- Empty set
- Enumeration
- Finite set
- Function (mathematics)
- Function composition
- Generalized continuum hypothesis
- Index set
- Infinite set
- Intersection (set theory)
- Inverse function
- Lowenheim-Skolem theorem
- Map (mathematics)
- Multiset
- Naïve set theory
- Non-Cantorian set theory
- One to one correspondence
- Ordered pair
- Partition of a set
- Pointed set
- Power set
- Projection (set theory)
- Proper subset
- Proper superset
- Range (mathematics)
- Russell's paradox
- Sequence (mathematics)
- Set (mathematics)
- Set of all sets
- Simple theorems in the algebra of sets
- Singleton (mathematics)
- Skolem paradox
- Subset
- Superset
- Tuple
- Uncountable set
- Union (set theory)
- Zermelo-Frankel set theory
