补集

相对补集（差集）示意图

A是S的一个子集，即A⊊S；

∁SA表示一个集合，且∁SA⊊U；

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

根据补集的定义，；。

B - A= {x|x∈B且x∉A}。

在集合中，（“交之补”等于“补之并”），（“并之补”等于“补之交”）。