补运算是有补格中求补元的过程,在集合论中相当于补集运算.即在有补格中求补元(complement)的过程. 设 math(L, vee, wedge, 0, 1)math 是一个有界格,matha in Lmath,若存在 mathb in Lmath 使得 matha wedge b = 0math 且 matha vee b = 1math,则称 mathbmath 是 mathamath 的补元. 在布尔代数中,补运算相当于逻辑非运算.在集合论中,补运算相当于补集运算.