定義
X をBoole代数(>>336)とする。
a, b ∈ X のとき a＼b = a∧b’と書く。
ここで b’は b の補元(過去スレ021の328)である。