Tukey lemma

Tukey lemma

[′tü·kē‚lem·ə] (mathematics) The proposition that any nonempty family of finite character has a maximal member.