查看“︁分配格”︁的源代码

[[设]]<math>(L, \vee, \wedge)</math>是一个[[格 (数学)|格]]，若对于任意的<math>a, b, c \in L</math>有
:<math>a \wedge (b \vee c) = (a \wedge b) \vee (a \wedge c)</math><br/>
:<math>a \vee (b \wedge c) = (a \vee b) \wedge (a \vee c)</math>
则称<math>L</math>为'''分配格'''。

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

设<math>(L, \vee, \wedge)</math>是一个[[格 (数学)|格]]，<math>L</math>为分配格当且仅当对于任意的<math>a, b, c \in L</math>，若<math>a \vee b = a \vee c</math>且<math>a \wedge b = a \wedge c</math>，则<math>b = c</math>。

== 参见 ==

* [[格 (数学)|格]]
* [[有补格]]
* [[有界格]]
* [[布尔代数]]
* [[分配上半格]]
{{math-stub}}

[[Category:格理论|F]]
[[Category:代数逻辑|F]]