1. Naive set theory
- set
- setbuilder notation
- subset
- emptyset
- powerset
- universe of discourse
- intersection
- union
- complement 
- set difference
- cartesian product
- symmetric difference
2. Relations
- relation
- function
- equivalence relation
3. Cardinality
- cardinal numbers
- ordinal numbers
- countable set
- large cardinal number
3. Maps
- injective map
- surjective map
- bijective map
- kernel
- image
- domain
- codomain
- range
- operator
- associative operator
- commutativity operator
- distributive operator
- identity element
- inverse elements
4. Formalized set theory
- Zermelo-Fraenkel set theory with the axiom of choice (ZFC)