Page "0,λ). Formally:The natural numbers are thus ordinals by this definition. For instance, 2 is an element of 4 =, and 2 is equal to and so it is a subset of.It can be shown by transfinite induction that every well-ordered set is order-isomorphic to exactly one of these ordinals, that is, there is an order preserving [bijective function" not found :(