(set theory) A proposition of set theory stating that every partially ordered set, in which every chain (i.e. totally ordered subset) has an upper bound, contains at least one maximal element.
Zorn's lemma
代数基底の存在を示す多くの証明では、任意の鎖（すなわち全順序部分集合）が上界を持つ任意の部分順序集合は少なくとも一つの極大元を含むという集合論の命題が、線形独立な部分集合の成す部分順序集合に極大元が存在することを保証するために用いられます。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
