Kuratowski's lemma

Kuratowski's lemma

[ku̇r·ə′tȯv·skēz ′lem·ə] (mathematics) Each linearly ordered subset of a partially ordered set is contained in a maximal linearly ordered subset.