Zorns lemma
Zorns lemma er en hjælpesætning i højere matematik. Zorns lemma er ækvivalent med udvalgsaksiomet og dermed med velordningssætningen (se velordnet mængde), som det stort set har afløst i matematisk bevisførelse. Lemmaet siger, at der i en ordnet mængde \(M\) findes