補運算

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

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

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

相關詞條

相關搜尋

熱門詞條

聯絡我們