束 (束論)
応用に際して、分配性条件は強すぎる制約となることがあり、次のようなより弱い性質を考えると便利なことがよくある。束 (L, ∨, ∧) がモジュラー (modular) であるとは L の各元 a, b, c に対して
L の任意の二元 a, b に対して、二元集合 {a, b} が交わり(下限、最大下界、積) a ∧ b を持つ。
これにより、∨ および ∧ は L 上の二項演算となる。最初の条件は L が結び半束(英語版) (join-semilattice) となることを主張するものであり、後の条件は L が交わり半束(英語版) (meet-semilattice) となることをいうものである。二つの演算はその順序に関して単調である。すなわち、a1 ≤ a2 かつ b1 ≤ b2 ならば
a 1 ∨ b 1 ≤ a 2 ∨ b 2 , a 1 ∧ b 1 ≤ a 2 ∧ b 2 {\displaystyle a_{1}\lor b_{1}\leq a_{2}\lor b_{2},\quad a_{1}\land b_{1}\leq a_{2}\land b_{2}}
がともに成り立つ。
このとき、帰納的に、束の任意の空でない有限集合に対して、その結び(上限)および交わり(下限)の存在が示せる。さらに仮定を増やせば、もっといろいろなことが言える場合もある。完備性 (順序集合論)(英語版)等を参照。そういった文脈では、上記の定義をもっと別の方法、例えば適当なガロワ接続の存在によって定義することもできる(これは束に対するある種のガロワ理論的な手法である)。
有界束 (bounded lattice) は 1 で表される最大元 (greatest element, maximum, top (⊤)) および 0 で表される最小元 (least element, minimum, bottom (⊥)) を持つ束である。任意の束は最大元と最小元を付加することにより有界束とすることができる。
a ≤ c ならば a ∨ (b ∧ c) = (a ∨ b) ∧ c.
束がモジュラーである必要十分条件は N5(右図)と同型な部分束を含まないことである。分配束はモジュラーだが、分配束とは限らないモジュラー束の例として、加群の部分加群全体の成す束や、群の正規部分群全体の成す束が挙げられる。
a ∨ (b ∧ c) = (a ∨ b) ∧ (a ∨ c).
また、空でない任意の有限束は有界である(全ての元の結びおよび交わりが最大元及び最小元を与える)。すなわち、A = {a1, ..., an} ならば
1 = ⊤ := ⋁ A ( = a 1 ∨ ⋯ ∨ a n ) , 0 = ⊥ := ⋀ A ( = a 1 ∧ ⋯ ∧ a n ) {\displaystyle {\begin{aligned}1=\top &:=\bigvee A&&(=a_{1}\lor \cdots \lor a_{n}),\\0=\bot &:=\bigwedge A&&(=a_{1}\land \cdots \land a_{n})\end{aligned}}}
が成り立つ。
半順序集合が束となる必要十分条件は、任意の有限部分集合(零元集合としての空集合を含む意味で言う)が結びおよび交わりを持つことである。ここで、空集合に関する結びは最小元、空集合に関する交わりは最大元となるものと約束する。
⋁ ∅ = 0 , ⋀ ∅ = 1. {\displaystyle \bigvee \varnothing =0,\quad \bigwedge \varnothing =1.}
この規約は、結びおよび交わりの結合性および可換性に整合性を持たせるためのものである。すなわち、有限集合の族の和集合の結びはそれらの集合の結びの結びに一致し、双対的に、有限集合の族の和集合の交わりがそれらの集合の交わりの交わりとなる。これは、具体的に束 L の有限部分集合を A, B とすると、