zum Auswahlaxiom äquivalenter Satz:

Sei \({\mathcal{A}}\)eine Menge von nichtleeren Mengen, die alle paarweise disjunkt sind. Dann gibt es eine Menge C, so daß gilt \begin{eqnarray}\mathop{\wedge }\limits_{A\in {\mathcal{A}}}\#(A\cap C)=1,\end{eqnarray}das heißt, C schneidet alle Elemente von \({\mathcal{A}}\)in genau einem Punt.