补运算是在有补格中求补元(complement)的过程。
设 是一个有界格,,若存在 使得 且 ,则称 b 是 a 的补元。
在布尔代数中,补运算相当于逻辑非运算。 在集合论中,补运算相当于补集运算。
页面分类: 數學小作品 | 抽象代数