(mathematics) A lemma stating that every non-empty collection of finite character has a maximal element with respect to inclusion.
Teichmüller-Tukey lemma
偏順序集合で極大鎖を構成する際、包含に関して極大元が存在することを保証するテイヒミューラー=タッキーの補題を適用することが多い。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★