Well-ordering

A well-ordering is a special kind of ordering

Definition

An ordering $$<$$ of a set $P$ which is both:

• Linear (total)
• strict

Is a well-ordering if every $A\subset P$ with $A\ne\emptyset$ has a least element. (Then $A$ is well-ordered)

---

TODO: Finish off

---

See also

• Well-ordered set