Well-Ordering Theorem

• Every set can be well-ordered.
• Equivalent to axiom of choice.

$\forall A\exists R\subseteq A\times A\text{a well-ordering on }A$