Kuratowski, lemma di

Kuratowski, lemma di

Kuratowski, lemma di in teoria degli insiemi, teorema che stabilisce che ogni catena in un insieme parzialmente ordinato è contenuta in una catena massimale (cioè in una catena non contenuta in nessuna catena distinta da essa). Il lemma di Kuratowski è equivalente al lemma di → Zorn e all’assioma della → scelta. Poiché i lavori di K. Kuratowski sull’argomento sono precedenti ai lavori di M. Zorn, molti autori considerano più appropriato riferirsi al lemma di Zorn con la locuzione lemma di Kuratowski-Zorn.