補集壹般指絕對補集，即壹般地，設S是壹個集合，A是S的壹個子集，由S中所有不屬於A的元素組成的集合，叫做子集A在S中的絕對補集。在集合論和數學的其他分支中，存在補集的兩種定義：相對補集和絕對補集。
1、相對補集
若A和B?是集合，則A?在B?中的相對補集是這樣壹個集合：其元素屬於B但不屬於A，B?-?A?= { x| x∈B且x?A}。?
2、絕對補集
若給定全集U，有A?U，則A在U中的相對補集稱為A的絕對補集（或簡稱補集），寫作?UA。?
De Morgan定律
摩根定律，又叫反演律，用文字語言可以簡單的敘述為：兩個集合的交集的補集等於它們各自補集的並集，兩個集合的並集的補集等於它們各自補集的交集。
若集合A、B是全集U的兩個子集，則以下關系恒成立：
（1）?U（A∩B）=（?UA）∪（?UB），即“交之補”等於“補之並”。
（2）?U（A∪B）=（?UA）∩（?UB），即“並之補”等於“補之交”。