Def. Boolean algebra とは, poset と, その二つの要素 の組である. また, 上の二項演算 join: , meet: , および単項演算 complementation: が定義されており, これらは以下の要請を満たす: とするとき, ① ② ③ and ④ and ⑤ ⑥ . Remark. poset とは, 集合 と, 上の半順序 の組である. 上の半順序 とは, 上の二項関係, つまり直積の部分集合 であって, として, 以下の要請: (反射律) (推移律) and (反対称律) and を満たすものである. ブール代数と聞くと集合 , もしくは 上の演算…