格的性质(续) 格中的基本等价条件 a<b分ab=a冷b=b 证:①→② n≤a,a≤b→a<Ab →∧b=a a∧b<a ②→③ barb l=入b<b,6<b→mMWb=b ③→① aavb= b8 格的性质（续） a ≼ b ⇔ a ∧ b = a ⇔ a ∨ b = b ①② ③ 格中的基本等价条件 证： ② ⇒ ③ b ≼ a ∨ b ③ ⇒ ① a ≼ a ∨ b = b a ∧ b ≼ a ⇒ a ∧ b = a a = a ∧ b ≼ b, b ≼ b ⇒ a ∨ b ≼ b ⇒ a ∨ b = b ① ⇒ ② a ≼ a, a ≼ b ⇒ a ≼ a ∧ b