补集一般指绝对补集，即一般地，设S是一个***，A是S的一个子集，由S中所有不属于A的元素组成的***，叫做子集A在S中的绝对补集。在***论和数学的其他分支中，存在补集的两种定义：相对补集和绝对补集。