是一個,若對於任意的


則稱分配格

上述兩個等式互為對偶式,根據的對偶原理,在證明一個格是分配格時只需證明其中任意一個等式即可。

是一個為分配格若且唯若對於任意的,若,則

參見

編輯