Tukey lemma

Tukey lemma

[′tü·kē‚lem·ə]
(mathematics)
The proposition that any nonempty family of finite character has a maximal member.
McGraw-Hill Dictionary of Scientific & Technical Terms, 6E, Copyright © 2003 by The McGraw-Hill Companies, Inc.