若给定全集 U,则 A 在 U 中的相对补集称为 A 的绝对补集(或简称补集),写作 AC,即:
AC= U - A
例如,若全集为自然数集合,则奇数集合的补集为偶数集合。
下列命题给出一些绝对补集同并集和交集等集合论运算相关的一些重要性质。
命题 2:若 A 和 B 是全集 U 的子集,则下列恒等式成立:
德·摩根律:
(A∪B)C=AC∩BC
(A∩B)C=AC∪BC
补集律:
A∪AC=U
A∩AC=∮
∮C=U
UC=∮
回旋律(重补集律):
ACC = A
上述表明,若 A 为 U 的非空子集,则 {A, AC } 是 U 的一个分割。