Lemma von Zorn/Obere Schranke/Fakt

Das Lemma von Zorn

Es sei ${}(I,\preccurlyeq )$ eine geordnete Menge mit der Eigenschaft, dass jede total geordnete Teilmenge ${}J\subseteq I$ eine obere Schranke in ${}I$ besitzt.

Dann gibt es in ${}I$ maximale Elemente.

Einen Beweis erstellen