補運算

補運算是有補格中求補元的過程，在集合論中相當於補集運算。

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

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