补集

如果A包含在C中,則集合C中的集合A的集合是包括所有不在A中且不包含A元素的C元素的集合。
(重定向自差集

集合论和数学的其他分支中,存在补集的两种定义:相对补集绝对补集

相对补集

 
相对补集 

  集合,则  中的相对补集是由所有属于 但不属于 的元素組成的集合。

  中的相对补集记为  

形式上:

 

例如:

  •  
  •  
  •  实数集合, 有理数集合,则 无理数集合。

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

命题1:若 是集合,则下列等式恒成立:

  •  
  •  
  •  
  •  
  •  
  •  
  •  
  •  

绝对补集

 
绝对补集 

若给定全集 ,则  中的相对补集称为 绝对补集(简称补集),记为 ,即:

 

(注意:根据ISO与中华人民共和国国家标准 中子集 的补集记作 。)

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

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

命题2:若  是全集 的子集,则下列恒等式成立:

德摩根定律
  •  
  •  
补集律:
  •  
  •  
  •  
  •  
對合
  •  
相对补集和绝对补集的关系:
  •  
  •  

上述表明,若  的非空子集,则  的一个分割

补集的符号

补集的符号在Unicode中为数学运算符区段中的“∁”(Unicode:U+2201)。

参考文献

参见