分配格

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

则称为分配格。

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

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

 参见 

 格
 有补格
 有界格
 布尔代数
 分配上半格

F
F