有补格(complemented lattice)亦称有余格,是一个数学名词。定义介绍一种特殊的有界格.在有界格<1,镇>中,对于L中的任意元素a,如果存在bEl.,使得a+b=l,a " b一0,则称元素b是元素a的补元.如果一个有界格的每个元素都至少存在一个补元,则此格称为有补格.补元是对称的,如果a是b的补元,则b也是a的补元,也可以说,a和h这两个元素是互补的.对于任一元素aEA,可以存在多个补元,也可以不存在补元.例如,在上图所示的有界格中,因为d V c=1和d八。一。,所以d和。是互补的.但h没有补元,而a和d都是e的补元.