A
well-order (or
well-ordering) on a
set a
S is a
total order on
S with the property that every
nonempty subset of
S has a least element in this ordering.
The [well-ordering principle]? states that every set can be well-ordered.
See also Ordinal.
/Talk