Well-ordering theorem

Well-ordering theorem: For every set $X$, there exists a relation $\le\,\subseteq X\times X$ such that $(X,\le)$ is a well-ordered set .

Over ZF, the well-ordering theorem is equivalent to the Axiom of Choice and to Zorn's lemma .