Auswahlaxiom

Ein Mengenaxiom, das besagt, dass für jede Familie nichtleerer Mengen eine Auswahlfunktion existiert, die aus jeder Menge ein Element auswählt; oft mit AC abgekürzt und unabhängig von den Zermelo–Fraenkel-Axiomen (ZF), weshalb seine Annahme nichtkonstruktive Folgen haben kann.

Das Axiom, dass für jede Familie nichtleerer Mengen eine Funktion (Wahlfunktion) existiert, die aus jeder Menge ein Element auswählt; als Axiom in der Mengenlehre formuliert, behauptet es Existenz ohne konstruktive Vorschrift.

Das Prinzip, das für jede Familie nichtleerer Mengen die Existenz einer Auswahlfunktion behauptet, die aus jeder Menge ein Element auswählt; meist mit AC abgekürzt und als Axiom unabhängig von der ZF-Mengenlehre betrachtet.

Die Aussage, dass für jede Familie nichtleerer Mengen eine Funktion (Wahlfunktion) existiert, die aus jeder Menge der Familie ein Element auswählt, also die Existenz einer gleichzeitigen Auswahl behauptet, selbst wenn keine explizite Regel angegeben ist.