分配格判别定理 定理1设L为模格,L为分配格当且仅当 若ab,C∈L有 (a入b)y(b∧c)(c)=(Nvb)∧(bvc)∧(cva) 注:一般格成立不等式 (a入b)y(b∧c)(a)≤(Nvb)∧(bvc)∧(cva) 定理2设L为模格,L为分配格当且仅当L不含 有与钻石格同构的子格.6 定理 1 设 L 为模格，L 为分配格当且仅当 若∀a,b,c∈L 有 (a∧b)∨(b∧c)∨(c∧a) = (a∨b)∧(b∨c)∧(c∨a) 注：一般格成立不等式 (a∧b)∨(b∧c)∨(c∧a) ≼ (a∨b)∧(b∨c)∧(c∨a) 定理 2 设 L 为模格，L 为分配格当且仅当 L 不含 有与钻石格同构的子格. 分配格判别定理