Transitive sets well-ordered by ∈. Successor: α+1=α∪{α} Limit: λ=⋃β<λβ ON={α∣α is transitive and well-ordered by ∈}