(资料图)
1、 有补格(complemented lattice)亦称有余格,是一种特殊的有界格,在有界格〈L,≤〉中,对于L中的任意元素a,如果存在b∈L,使得a+b=1,a·b=0,则称元素b是元素a的补元。
2、如果一个有界格的每个元素都至少存在一个补元,则此格称为有补格。
3、补元是对称的,如果a是b的补元,则b也是a的补元,也可以说,a和b这两个元素是互补的,对于任一元素a∈A,可以存在多个补元,也可以不存在补元。