命題
X を束(過去スレ021の156)とする。
a、b ∈ X のとき、
D(a∧b) = D(a)∩D(b)
D(a∨b) = D(a)∪D(b)

a が補元(過去スレ021の369) a’を持てば
D(a’) = D(a)’

証明
>>198より明らかである。