定義
X を一般Boole代数(過去スレ021の373)とする。
a, b ∈ X のとき a ≦ c、b ≦ c となる c ∈ X がある（例えば c = a∨b）。
b’を b の区間 [0, c] における相対補元(過去スレ021の363)とする。
>>20より a∧b’は c のとり方によらない。
このとき、a＼b = a∧b’と書く。