ZFC Axioms
The axioms of set theory
Set Theory
Ordered Pairs
Subset relations of sets and the definition of ordered pairs
Binary Relations
Definition of Binary Relation
Operations on Binary Relations
Inverse and Composition of Binary Relations
Functions
Basic Definition of Functions
Operations on Functions
Inverse and composition of functions, surjective and injective functions
Retraction and Section
Properties of Surjective and Injective Functions
Unions and Intersections
Unions and intersections of sets
Sum of Sets
Sum of Sets (Disjoint Union)
Product of Sets
Product of Sets
Properties of Products
Partial products, associativity and distributivity
Equivalence Relations
Definition and properties of equivalence relations
Examples of Equivalence Relations
Examples of equivalence relations, saturation of equivalence relations, isomorphism theorems
Order Relations
Definition and properties of order relations
Monotone Functions
Operations on ordered sets and monotone functions
Elements in Ordered Sets
Maximum, minimum, maximal, and minimal elements of ordered sets
Directed Sets
Directed sets and lattices
Filters, Ideals, and Galois Connections
Filter and ideal
Ordinals and Well-Ordered Sets
Definition of well-ordered sets, motivation for ordinals
Properties of Well-Ordered Sets
Rigorous definition of ordinals and properties of well-ordered sets
Axiom of Choice
The axiom of choice and its equivalents
Order Relations Between Ordinals
Order relations between ordinals and the rigorous definition of cardinals
Cardinals
Definition of Cardinal number
Operations on Cardinals
Operations on cardinal numbers
Natural Numbers and Infinite Sets
Definition of natural numbers and properties of infinite sets
Limits
Inverse limit and direct limit