(Alm. zornsches Lemma, n; Fr. lemme de Zorn, m; İng. Zorn's lemma) 

mat. Her X kısmi sıralı kümesi için eğer X in her tam sıralanmış altkümesinin X te bulunan bir üst sınırı varsa, X in bir büyükçe elemanı vardır” önermesi; eşanlam: Zorn Lemması.

Boş olmayan tümel sıralı her altkümesi E içinde bir üst sınır varlayan (?) tikel sıralı kümesinin bir büyükçe öğesinin varlığını belirten önsav.