Auswahlaxiom AC (Axiom of Choice):
Jede Menge M, deren Elemente nichtleere Mengen sind,
besitzt eine sogenannte "Auswahlfunktion", d.h. eine
Abbildung von M nach
 A 
M A
mit der Eigenschaft f(A) A
für jedes A M.
|
Wohlordnungssatz:
Jede Menge läßt sich
wohlordnen.
|
Lemma von Zorn:
Ist jede Kette einer geordneten Menge (M, )
nach oben beschränkt, dann besitzt M (mindestens) ein
maximales Element.
|