模格 定义L为格,若a,b,c∈L, Kb→a(c∧b)=(Nvc)b 则称L为模格. 实例: b 钻石格为模格 五角格不是模格 模格-模律:∝Kb→V(Ab)=(aVcl)b 格-模不等式:“Kb→W(cAb)<(Vc)^b2 定义 L为格，若∀a,b,c∈L, a≼b ⇒ a∨(c∧b)=(a∨c)∧b 则称L为模格. 实例： 钻石格为模格 五角格不是模格 模格---模律： a≼b ⇒ a∨(c∧b)=(a∨c)∧b 格--模不等式：a≼b ⇒ a∨(c∧b)≼(a∨c)∧b 模格 b a c