Auswahlaxiom/Indizierte Familie/Axiom

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei eine Menge und , , eine Familie von nichtleeren Mengen . Dann gibt es eine Abbildung

mit für alle .