命題
A をBoole代数(過去スレ021の336)とする。
a、b を A の元とする。

a ≦ b ⇔ b’≦ a’

証明
De Morganの公式(>>565)より
a ≦ b ⇔ a = a∧b ⇔ a’= a’∨b’⇔ b’≦ a’
証明終