Axiom of global choice
= Axiom of global choice
{wiki}
= Global choice
{synonym}
A single class <function> chooses one member of every nonempty <set>. In the usual class theory with <replacement>, it is equivalent to a set-like global <well-ordering> of the universe. Ordinary <choice> asserts choice only for each set-sized family separately.