差集（简称差集）;}-是由所有属于formula_2但不属于formula_1的元素组成的集合。formula_1在formula_2中的相对补集记为formula_9或formula_10。形式上：例如：下列命题给出一些相对补集同并集和交集等集合论运算相关的一些常用性质。命题1：若formula_17是集合，则下列等式恒成立：
zh-cn:绝对补集; zh-tw:绝对差集;.若给定全集formula_26，则formula_1在formula_26中的