Aussage im Kontext der axiomatischen Mengenlehre.

Ist N eine Menge mit einer Ordnungsrelation „≤“ und K ⊆ N eine Kette, so ist K in einer maximalen Kette M enthalten, das heißt, es gibt eine Menge K ⊆ M ⊆ N, so daß M eine Kette ist, jedoch keine echte Obermenge von M, die in N enthalten ist, eine Kette ist.

Bemerkenswert ist, daß das Kuratowski-Lemma äquivalent zum Auswahlaxiom ist.