true.

Well-ordered sets

In the usual Zermelo-Fraenkel (ZF) formalization of set theory, a well-ordered set is a totally ordered set such that every non-empty subset has a least element. Here "set" means a collection that is itself an object of ZF, as opposed to a proper class.

A well-ordered set can be written as a transfinite sequence by assigning ordinal labels to its elements in

1.Previous
3.Next