设"L"是带有最大元素1和最小元素0的有界格。"L"的两个元素"x"和"y"是互补（相互为补元）的，当且仅当：在这种情况下，它们被指示为¬"x" = "y"和等价的¬"y" = "x"。所有元素都有补元（素）的有界格叫做有补格。对应的在"L"上的一元运算叫做补运算，把逻辑否定的类似物介入了格理论。补元不必然是唯一的，在"L"上所有可能的一元运算中也没有什么特殊之处。分配有补格是布尔代数。对于分配格，"x"的补元存在的话就可证明是唯一的。 Heyting代数是至少某些成员缺乏补元的分配格的例子。在另一