Zorn lemması

Zorn lemması veya Kuratowski-Zorn lemması, seçme aksiyomuna eşdeğer bir önerme olup şunu ifade eder: Kısmî sıralanmış bir kümedeki her zincir için zincirin her elemanından daha büyük bir eleman kümede olsun. Bu durumda kümede kendisinden daha büyük eleman olmayan bir eleman vardır.

Sıra teorisi
Lemmalar