Zorni lemma

Allikas: Vikipeedia

Zorni lemma ehk Kuratowski-Zorni lemma on oluline hulgateooria teoreem, mis ütleb:

Kui osaliselt järjestatud hulga iga lineaarselt järjestatud alamhulk on ülalt tõkestatud, siis leidub sellel hulgal maksimaalne element.

Zorni lemma kehtib, kui eeldatakse valiku aksioomi. Ta on valiku aksioomiga ekvivalentne: Zorni lemmat eeldades on omakorda võimalik tõestada valiku aksioom.