結びと交わり
(A, ∧) が meet-semilattice であるとき、交わりは iterated binary operation(英語版) に書かれている手法で任意の空でない有限集合の well-defined な交わりに拡張できる。あるいは、交わりが半順序を定義するあるいは半順序によって定義されているとき、A のある部分集合はこれについての下限をもち、そのような下限をその部分集合の交わりを考えることは合理的である。空でない有限部分集合に対して、2つのアプローチは同じ結果を生み出し、したがっていずれをも交わりの定義として取ることができる。A のすべての部分集合が交わりを持つ場合、(A, ≤) は実は完備束である。詳細は完備性 (順序集合論)(英語版)を参照。