分配格

分配格設〈A,,〉是由格〈A,〉所誘導的代數系統。如果對任意的a,b,cA,滿足a(bc)=(ab)(ac)和a(bc)=(ab)(ac),則稱〈A,〉是分配格。

設是一個格，若對於任意的有

則稱L為分配格。

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

設是一個格，L為分配格當且僅當對於任意的，若且，則b=c。