The *well-ordering principle* states that every set is well-ordered by some relation. It is an equivalent of the [[Choice principles#Axiom of choice|Axiom of Choice]].