是一个有界格,,若存在使得,则称补元。显然若的补元则也是的补元,换句话说互为补元,简称互补

不难证明,在任何有界格中,全下界0与全上界1总是互补的。而对于其它元素,可能存在补元,也可能不存在补元。如果存在补元,可能是唯一的,也可能是多个补元。但对于有界分配格,如果它的元素存在补元,则一定是唯一的。

是一个有界格,若对于任意的,在中都有的补元存在,则称为有补格

参见