Zorn's lemma
Nach dem Fixpunktsatz von Bourbaki und Kneser besitzt jede extensive Abbildung formula_10 bereits dann einen Fixpunkt, falls formula_11 streng induktiv geordnet ist. Daraus lässt sich unter Zuhilfenahme des Auswahlaxioms das Lemma von Zorn beweisen.