Area

Foundations

30 concepts in 4 topics and 1 course. Explore freely or follow a guided course.

30concepts
4topics
1courses

Explore on the map →

Courses

Topics

Operations and families 6 concepts

Set membership · Union of families · Intersection of families · Relative complement · Power set · Subset

Relations and functions 9 concepts

Binary relation · Equivalence relation · Equivalence class · Injective function · Surjective function · Bijective function · Image and preimage · Composition and inverse · Cartesian product

Cardinals 7 concepts

Finite set · Infinite set · Equipotence · Countable set · Cantor's diagonal theorem · Cardinal number · Schröder–Bernstein theorem

Ordinals and axioms 8 concepts

Well-ordering · Transfinite induction · Axiom of choice · Zorn's lemma · Zermelo–Fraenkel axioms · Construction of the naturals · Construction of the reals · Partial order relation