完備束ウィキペディア フリーな encyclopedia 数学の一分野順序論(英語版)における完備束(英: complete lattice)とは部分集合が常に上限と下限を持つ半順序集合のことである。 完備束は束の重要な例で順序集合論及び普遍代数の研究対象であり、数学及び計算機科学に多くの応用を持つ。 順序集合上の完備性(英語版)には様々な異なる定義があるので注意を要する(例えば完備半順序 (CPO) は完備束とは異なる概念である)。特に重要な完備束のクラスとして完備ブール代数(英語版)や完備ハイティング代数(英語版) (locale) がある。
数学の一分野順序論(英語版)における完備束(英: complete lattice)とは部分集合が常に上限と下限を持つ半順序集合のことである。 完備束は束の重要な例で順序集合論及び普遍代数の研究対象であり、数学及び計算機科学に多くの応用を持つ。 順序集合上の完備性(英語版)には様々な異なる定義があるので注意を要する(例えば完備半順序 (CPO) は完備束とは異なる概念である)。特に重要な完備束のクラスとして完備ブール代数(英語版)や完備ハイティング代数(英語版) (locale) がある。