§2分配格 对格所定义的代数系统<,∧,>,其运算∧和∨不一定满 足分配律 《定义》设<L,∧,>是由<,s>所诱导的代数系统。如果 对任意的a,b,c∈L,满足: a∧(bvc=(a∧b)v(a∧c) 及av(b∧c)=(avb)∧(avc) 则称<L,s>是分配格 1010 §2分配格 对格所定义的代数系统<L,,>，其运算和不一定满 足分配律。 《定义》设<L,,>是由<L,≤>所诱导的代数系统。如果 对任意的a,b,cL，满足： a (b  c)=(a  b) (a  c) 及 a  (b  c)=(a  b)  (a  c) 则称<L,≤>是分配格