是一个,若对于任意的


则称分配格

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

是一个为分配格当且仅当对于任意的,若,则

参见