Teichmüller-Tukey lemma

Proper noun

(mathematics) A lemma stating that every non-empty collection of finite character has a maximal element with respect to inclusion.

Japanese Meaning

数学における補題で、有限性を持つ任意の非空な集合が包含関係において最大要素を持つことを示すもの

偏順序集合で極大鎖を構成する際、包含に関して極大元が存在することを保証するテイヒミューラー＝タッキーの補題を適用することが多い。

Sense（1）

(mathematics) A lemma stating that every non-empty collection of finite character has a maximal element with respect to inclusion.

the Tukey-Teichmüller lemma

（ canonical ）