Well-Ordering theorem
The Well-Ordering theorem is an axiom for Set theory. It states that every set can be well-ordered. A well-ordered set is a totally ordered set 
for which each set 
has a minimum element.
The Well-Ordering theorem is equivalent to the Axiom of choice and Zorn's Lemma.
This article is a stub. Help us out by expanding it.
