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