well-ordering theorem

set-theoretic theorem or principle, equivalent to the axiom of choice