高等学校21卌纪教材 定理91.5设<L,>是格,对任意的a,b,c∈L, 有 as÷≥a(bc)≤(ab)*c 推论:在格<L,>中,对任意的a,b,c∈L, 有 (a2b)H(a2C)≤a“(bac)) a(b(adc)≤(ab)*(ac) PT PRESS 人民邮电出版社定理9.1.5 设<L,≤>是格，对任意的a,b,cL， 有 a≤ca(b*c) ≤(ab)*c 推论：在格<L,≤>中，对任意的a,b,cL， 有 (a*b)(a*c)≤a*(b(a*c)) a(b*(ac))≤(ab)*(ac)