由此可知补元不唯一 今二、分配格 冷定理(习题179):对任意格成立分配不等 式,即格[LV~中任a,bc∈L,有: (1)a(b∧c)≤(avb)∧avC) 冷(2)(aAby(a∧c≤a~(bvc)。 但等式不一定成立
❖ 由此可知补元不唯一. ❖ 二、分配格 ❖ 定理(习题17.9)：对任意格成立分配不等 式, 即格[L;,]中任a,b,cL,有: ❖ (1)a(bc)≤(ab)(ac); ❖ (2)(ab)(ac)≤a(bc)。 ❖ 但等式不一定成立
例:如下图所示的格分配等式不成立 Ma
❖ 例:如下图所示的格分配等式不成立