ブール代数
en:
boolean algebra
ja:
ブール代数
、aka.
ブール束
def.
complemented distributive lattice
ja: 可補分配束
structure:
$ (X,\lor,\land,\lnot,1,0)
⊂
distributive lattice
prop.
distributive
⊂
lattice
⊂
complemented lattice
prop.
complemented
⊂
lattice
subclasses
冪集合ブール代数
利用
ブール論理
の
代数モデル
に なってる。
完備化
した
完備ブール代数
が
事象空間
の構造になってる。
ref.
ブール代数 - Wikipedia
https://en.wikipedia.org/wiki/Complemented_lattice