补运算是有补格中求补元的过程，在集合论中相当于补集运算。
补运算是有补格中求补元的过程，在集合论中相当于补集运算。
即在有补格中求补元（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> 的补元。
在布尔代数中，补运算相当于逻辑非运算。在集合论中，补运算相当于补集运算。
温馨提示：
