Zornovo lemma
Zornovo lemma [podle něm. matematika M. Zorna, *1906], mat. věta: nechť M je (částečně) uspořádaná množina taková, že ke každé její lineárně uspořádané podmnožině existuje v M horní mez, pak existuje v M aspoň jeden maximální prvek. Z. l. je ekvivalentní s axiómem výběru.