Membership relation

Axiom of extensionality

Equivalence classes

Axiom schema of specification

Implications of axiom schema of specification

Set-builder notation

Empty set

Defining sets by enumeration

Finite and infinite sets

Cardinality

Inequalities

Ordered sets

Intervals

Infinitum, supremum, minimum and maximum

Set union and intersection

Complement and disjoint sets

Axiom of union

Boolean algebra

Algebra on a set

Axiom of infinity

Cardinality of the natural numbers

Ordering of the natural numbers

Subset relation

Powerset

Cantor's theorem

Tuples

Axiom of pairing

Cartesian product

Direct sums

Constructing functions

Domains and ranges

Axiom of regularity