Mathlib
Atlas
Foundations
Pathway IV
∈
Set theory and cardinals
Membership and power sets, then size after bijection, then the continuum.
01
Sets
A set is determined by its elements. The power set is every subset, ordered by inclusion.
4 min
02
Cardinals
Two sets have the same cardinality when a bijection exists between them. ℵ₀ is the size of ℕ.
4 min
03
The continuum
ℝ cannot be listed. Its cardinal 𝔠 = 2^ℵ₀ is strictly larger than ℵ₀.
4 min
Begin this pathway