束 (束論)
であるとは、L の最小元 0 と異なる任意の元 x に対して、a ≤ x となるような L の分解不能元 a が存在するときに言う。
半順序集合が完備束 (complete lattice) であるとは、その任意の部分集合が交わりと結びを持つときに言う。特に任意の完備束は有界束である。有限束の準同型は有限な交わりおよび結びしか保存しないが、完備束の準同型では任意濃度の交わりと結びを保つことを要請する。
任意の半順序集合はそれが完備半束であるならば完備束となる。この事実に関する面白い現象として、このクラスの半順序集合に対しては、いくつもの準同型を同時並行的に考えることができるということが挙げられる(つまり、それを完備束とみるか、完備結び半束とみるか、完備交わり半束とみるか、結び完備束とみるか交わり完備束とみるか、それぞれの意味での準同型を考えうる)。