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 maksimum bir eleman vardır. R, triviyal olmayan bir halka ve P ise R
'deki tüm gerçek idealleri barındıran küme olsun.