例:S,[P(S);U,∩]满足分配等式。 分配格 冷定义179:[L;v~]为格,当对其任意元 ab,c∈L成立分配律,即 (1)av(bAc=avb)aavc) 冷(2)(a∧b)v(a/c)=a∧(bvc)。 则称该格为分配格。❖ 例：S,[P(S);∪,∩]满足分配等式。 ❖ 分配格 ❖ 定义17.9:[L;,]为格,当对其任意元 a,b,cL成立分配律,即 ❖ (1)a(bc)=(ab)(ac); ❖ (2)(ab)(ac)=a(bc)。 ❖ 则称该格为分配格