well-ordering theorem

Also known as Zermelo theorem, Zermelo's theorem

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