补集

定义

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

1、相对补集

若A和B 是集合，则A 在B 中的相对补集是这样一个集合：其元素属于B但不属于A，B - A = { x| x∈B且x∉A}。

2、绝对补集

若给定全集U，有A⊆U，则A在U中的相对补集称为A的绝对补集（或简称补集），写作∁_UA。

注意：学习补集的概念，首先要理解全集的相对性，补集符号∁_UA有三层含义：

1、A是U的一个子集，即A⊆U；

2、∁_UA表示一个集合，且∁_UA⊆U；

3、∁_UA是由U中所有不属于A的元素组成的集合，∁_UA与A没有公共元素，U中的元素分布在这两个集合中。

全集是一个相对的概念，只包含所研究问题中所涉及的所有元素，补集只相对于相应的全集而言。如：我们在整数範围内研究问题，则Z为全集，而当问题拓展到实数集时，则R为全集，补集也只是相对于此而言。