冷定义178:[Lv,小为有界格对a∈L如果 存在b∈L,使avb=1ab=0,则称b为a的补 元,记b为a。若L中的每个元有补元,则 称L为有补格。 冷例:S=1,2,34,5},其偏序关系由下图所示, 则S是有界格,且为有补格❖ 定义17.8:[L;,]为有界格,对aL,如果 存在bL,使ab=1,ab=0,则称b为a的补 元,记b为a'。若L中的每个元有补元, 则 称L为有补格。 ❖ 例:S={1,2,3,4,5},其偏序关系由下图所示, 则S是有界格,且为有补格