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 : I ⟶ ⋃_{i \in I} M_{i}

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