【グラフ理論】離散数学／情報数学 2【組合せ論】

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