設 ( L , ∨ , ∧ ) {\displaystyle (L,\vee ,\wedge )} 是一個格，若對於任意的 a , b , c ∈ L {\displaystyle a,b,c\in L} 有
則稱 L {\displaystyle L} 為分配格。
上述兩個等式互為對偶式，根據格的對偶原理，在證明一個格是分配格時只需證明其中任意一個等式即可。
設 ( L , ∨ , ∧ ) {\displaystyle (L,\vee ,\wedge )} 是一個格， L {\displaystyle L} 為分配格若且唯若對於任意的 a , b , c ∈ L {\displaystyle a,b,c\in L} ，若 a ∨ b = a ∨ c {\displaystyle a\vee b=a\vee c} 且 a ∧ b = a ∧ c {\displaystyle a\wedge b=a\wedge c} ，則 b = c {\displaystyle b=c} 。
是一個格，若對於任意的
有
為分配格。
是一個格，為分配格若且唯若對於任意的，若
且
，則
。
