A transitive set well-ordered by ∈ (von Neumann definition). Canonical representatives of well-ordered types; ordinals extend the natural numbers into the transfinite.
A transitive set well-ordered by ∈ (von Neumann definition). Canonical representatives of well-ordered types; ordinals extend the natural numbers into the transfinite.