well-ordering theorem

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

Categorías: