The Axiom of Choice

Axiom. For any set \(X\) of nonempty sets, there is a choice function \(f\) that is defined on \(X\) and maps each set of \(X\) to an element of that set.

Namely,

\[f: X\to \cup X \text{ s.t. } f(x)\in x.\]