補運算

即在有補格中求補元（complement）的過程。

設 <math>(L, \vee, \wedge, 0, 1) 是一個有界格，$a\; \backslash in\; L$，若存在 $b\; \backslash in\; L$ 使得 $a\; \backslash wedge\; b\; =\; 0$ 且 $a\; \backslash vee\; b\; =\; 1$，則稱 $b$ 是 $a$ 的補元。

在布爾代數中，補運算相當於邏輯非運算。在集合論中，補運算相當於補集運算。