Zornsches Lemma

Das Zornsche Lemma ist ein zum Auswahlaxiom äquivalenter Satz der Mengenlehre und der Logik der auf Zorn zurückgeht. Ist G = (G, &;) eine teilweise geordnete Menge, in der jede nichtleere Kette K nach oben beschränkt ist, so gibt es in G maximale Elemente. Eine Kette K ist dabei eine durch &; totalgeordnete Teilmenge von G, und diese heißt nach oben beschränkt, wenn ein a &; G existiert mit x &; a für alle a &; K. Allgemein gibt es zu jedem a0 &; G ein maximales Element m mit m &; a0.