在集合论和数学的其他分支中，存在补集的两种定义：相对补集和绝对补集。相对补集：若A 和B 是集合，则A 在B 中的相对补集是这样一个集合：其元素属于B但不属于A，B - A = { x| x∈B但x∉A}。 绝对补集：若给定全集S，有A⊆ S，则A在S中的相对补集称为A的绝对补集（或简称补集），写作∁SA。 注意：学习补集的概念，首先要理解全集的相对性，补集符号∁SA有三层含义：1、A是S的一个子集，即A⊊S；2、∁SA表示一个集合，且∁UA⊊U；3、∁SA是由S中所有不属于A的元素组成的集合，∁SA与A没有公共元素，U中的元素分布在这两个集合中；全集是一个相对的概念，只包含所研究问题中所涉及的所有元素，补集只相对于相应的全集而言，如：我们在整数范围内研究问题，则Z为全集，而当问题拓展到实数集时，则R为全集，补集也只是相对于此而言。