Every family of nonempty sets has a choice function. In ZF this is equivalent to the well-ordering theorem.
The Axiom of Choice (AC) is a fundamental principle in set theory and mathematics. It states that given a collection of non-empty sets, it is possible to select exactly one element from each set, even if there is no explicit rule for making the selection.
New to topics? Read the docs here!