分配格

設是一個格 ， 若對於任意的有 則稱爲分配格 。 上述兩個等式互爲對偶式 ， 根據格的對偶原理 ， 在證明一個格是分配格時只需證明其中任意一個等式即可 。 設是一個格 ， 爲分配格當且僅當對於任意的 ， 若且 ， 則 。