完備束

数学の一分野順序論における完備束（英: complete lattice）とは部分集合が常に上限と下限を持つ半順序集合のことである。完備束は束の重要な例で順序集合論及び普遍代数の研究対象であり、数学及び計算機科学に多くの応用を持つ。