Auswahlaxiom/Indizierte Familie/Axiom

Es sei ${}I$ eine Menge und ${}M_{i}$, ${}i\in I$, eine Familie von nichtleeren Mengen ${}M_{i}$. Dann gibt es eine Abbildung

$f\colon I\longrightarrow \bigcup _{i\in I}M_{i}$

mit ${}f(i)\in M_{i}$ für alle ${}i\in I$.