补集

在集合论和数学的其他分支中，存在-{zh-cn:补集; zh-tw:差集;}-的两种定义：-{zh-cn:相对补集; zh-tw:相對差集（差集）;}-和-{zh-cn:绝对补集; zh-tw:絕對差集（補集）;}-。

 -{zh-cn:相对补集; zh-tw:相對差集;}- 

若和是集合，则在中的-{zh-cn:相对补集; zh-tw:相對差集（簡稱差集）;}-是由所有属于但不属于的元素組成的集合。

在中的相对补集记为或。

形式上：

例如：

若是实数集合，是有理数集合，则为无理数集合。

下列命题给出一些相对补集同并集和交集等集合论运算相关的一些常用性质。

命题1：若是集合，则下列等式恒成立：

 -{zh-cn:绝对补集; zh-tw:絕對差集;}- 

若给定全集，则在中的相对补集称为的-{zh-cn:绝对补集（简称补集）; zh-tw:絕對差集（又稱為補集）;}-，记为，即：

（注意：根据ISO与中华人民共和国国家标准，中子集的补集记作。）

例如，若全集为自然数集合，则奇数集合的补集为偶数集合。

下列命题给出一些绝对补集同并集和交集等集合论运算相关的一些重要性质。

命题2：若和是全集的子集，则下列恒等式成立：
德摩根定律：

补集律：

對合：

相对补集和绝对补集的关系：

上述表明，若为的非空子集，则是的一个分割。

补集的符号
补集的符号在Unicode中为数学运算符区段中的“∁”（Unicode：U+2201）。

 参考文献 

 参见 

 集合代数
 朴素集合论
 对称差
 布尔逻辑
 交集
 并集

B
B
B