更新时间：2021-09-28 10:32
补运算是有补格中求补元的过程，在集合论中相当于补集运算。
即在有补格中求补元（complement）的过程。
在布尔代数中，补运算相当于逻辑非运算。在集合论中，补运算相当于补集运算。