Auswahlaxiom (Mathematik)

erstmals von E. F. F. Zermelo formuliertes Axiom der Mengenlehre: Ist M eine Menge von durchschnittsfremden nicht leeren Mengen M_j, so gibt es eine Auswahlmenge A, die aus jeder der Mengen M_j genau ein Element enthält. Das Auswahlaxiom ist logisch äquivalent zum zornschen Lemma und zum Wohlordnungsaxiom.