束
束(そく、Lattice)
二つの演算が定義されている集合で、演算が冪等で可換で結合的で簡約律（吸収律）を満たすもの。
論理演算で使っているブール代数は束にいくつかの条件を加えたものらしい 集合$ L と二項関係$ \preceq があったときに、反射律、推移律、反対称律を満たすものが半順序集合(Partially ordered set、Poset) (反射律) $ x \preceq x
(反対称律) $ x \preceq y かつ$ y \preceq x なら$ x = y が成り立つ
(推移律) $ x \preceq y かつ$ y \preceq z なら$ x \preceq z が成り立つ
上限のみ満たす場合は上半束
下限のみ満たす場合は下半束
二項演算$ \land, \lor をなんやかんや加えると束？(後で書く)
確認用
Q. 束
参考
関連