補題
X を一般Boole代数(過去スレ021の373)とする。
a, b ∈ X、a ≦ b のとき (b＼a)∨a = b

証明
区間 [0, b] における a の相対補元(過去スレ021の363)を a’とする。

(b＼a)∨a = (b∧a’)∨a = (b∨a)∧(a’∨a) = b∧b = b
証明終