高等学校21卌纪教材 91格 1.格作为偏序集 定义9..1设<L,>是一个偏序集,若对任 意a,b,∈L,存在gb{a,b}和lub{a,b},则称<L 为格,并记为a*b=gb{a,b},a⊕b=lub{a,b},称 ∧和分别为L上的交(或积)和并(或和)运 算。称<L,,*>为<L,所诱导的代数结构的格 若L是有限集合,称<L,☆为有限格 PT PRESS 人民邮电出版社9.1 格 1．格作为偏序集 定义9.1.1 设<L,≤>是一个偏序集，若对任 意a,b,L，存在glb{a,b}和lub{a,b}，则称<L,≤> 为格，并记为a*b=glb{a,b}，ab=lub{a,b}，称 和分别为L上的交（或积）和并（或和）运 算。称<L,,*>为<L,≤>所诱导的代数结构的格。 若L是有限集合，称<L,≤>为有限格