格的性质(续) 格中的基本不等式和等式 a a<b,bC→a<c a∧b<a,aNb<b a avb. b avb a<b,a<c→a≤bc a>b,a>C→a>bvc n<bb<a→a=b7 格的性质（续） 格中的基本不等式和等式 a ≼ a a ≼ b, b ≼ c ⇒ a ≼ c a ∧ b ≼ a, a ∧ b ≼ b a ≼ a ∨b, b ≼ a ∨ b a ≼ b, a ≼ c ⇒ a ≼ b ∧ c a ≽ b, a ≽ c ⇒ a ≽ b ∨ c a ≼ b, b ≼ a ⇒ a = b