补运算

即在有补格中求补元（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> 的补元。

在布尔代数中，补运算相当于逻辑非运算。在集合论中，补运算相当于补集运算。