定義
A をBoole代数(過去スレ021の336)とする。
A の空でない部分集合 B が次の条件を満たすとき、
B を A の部分代数と言う。

(1) a, b ∈ B のとき a∨b ∈ B

(2) a ∈ B のとき a’∈ B