Zorn lemması

Vikipedi, özgür ansiklopedi

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.