设formula_1是一个格，若对于任意的formula_2有则称formula_5为分配格。上述两个等式互为对偶式，根据格的对偶原理，在证明一个格是分配格时只需证明其中任意一个等式即可。设formula_1是一个格，formula_5为分配格当且仅当对于任意的formula_2，若formula_9且formula_10，则formula_11。