束
格子ではない
ja: 束（ソク）
bundle や pencil ではない
lattice ⊂ semilattice ⊂ poset ⊂ rel
性質
∨と∧の上下が分かりづらい。
順序と∧∨とは、互いに定義できる。
subclasses
bounded lattice
最大元と最小限とがある。
distributive lattice
ja: 分配束
complemented lattice
ja: 可補束
Boolean algebra
⇔ distributive and complemented
complete lattice
完備であること
つまり、無限演算ができること
鎖
en: chain
aka. 全順序
応用
モデル
ref