s1格的概念 (2)对格<L,s>中任意a和b,有aavb及absa (3)<L,s>是格。对任意a,b,cd∈L,如asb,c≤d,则 avc≤bvd,a∧c≤b/d6 §1格的概念 (2)对格<L,≤>中任意a和b，有a≤ab及ab≤a。 (3) <L,≤>是格。对任意a,b,c,dL，如a≤b， c≤d，则 ac≤ bd， ac≤bd