分配格

分配格设〈A,,〉是由格〈A,〉所诱导的代数系统。如果对任意的a,b,cA,满足a(bc)=(ab)(ac)和a(bc)=(ab)(ac),则称〈A,〉是分配格。

设是一个格，若对于任意的有

分配格

则称L为分配格。

上述两个等式互为对偶式，根据格的对偶原理，在证明一个格是分配格时只需证明其中任意一个等式即可。

设是一个格，L为分配格当且仅当对于任意的，若且，则。