ちょっと修正。
x∧¬x=下限（空集合）, x∨¬x=上限（全集合） ですね。