Lemma von Zorn/Obere Schranke/Fakt

Das Lemma von Zorn

Sei eine geordnete Menge mit der Eigenschaft, dass jede total geordnete Teilmenge eine obere Schranke in besitzt.

Dann gibt es in maximale Elemente.