补运算
即在有补格中求补元(complement)的过程。
设 <math>(L, vee, wedge, 0, 1)</math> 是一个有界格,<math>a in L</math>,若存在 <math>b in L</math> 使得 <math>a wedge b = 0</math> 且 <math>a vee b = 1</math>,则称 <math>b</math> 是 <math>a</math> 的补元。
在布尔代数中,补运算相当于逻辑非运算。在集合论中,补运算相当于补集运算。