Axiom:Axiom of Choice/Formulation 3

Axiom

Let $\SS$ be a set of non-empty pairwise disjoint sets.

Then there is a set $C$ such that for all $S \in \SS$, $C \cap S$ has exactly one element.

Symbolically:

$\forall s: \paren {\paren {\O \notin s \land \forall t, u \in s: t = u \lor t \cap u = \O} \implies \exists c: \forall t \in s: \exists x: t \cap c = \set x}$

Also see

• Equivalence of Versions of Axiom of Choice

• Results about the Axiom of Choice can be found here.

Sources

• 1908: Ernst Zermelo: Neuer Beweis für die Möglichkeit einer Wohlordnung ("A new proof of the possibility of well-ordering") (Math. Ann. Vol. 65: pp. 107 – 128)
• 2014: Christopher Clapham and James Nicholson: The Concise Oxford Dictionary of Mathematics (5th ed.) ... (previous) ... (next): Entry: axiom of choice