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.\]
notas.itmens
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.\]