有补格是什么意思？

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