差集

在集合論和數學的其他分支中，存在差集的兩種定義：相對差集（差集）和絕對差集（補集）。

相對差集

差集$A\setminus B$

若$A$和$B$是集合，則$A$在$B$中的相對差集（簡稱差集）是由所有屬於$B$但不屬於$A$的元素組成的集合。

$A$在$B$中的差集記為$B\setminus A$或$B-A$。

形式上：

$B\setminus A=\{x\in B\mid x\not \in A\}$

例如：

• $\{1,2,3\}\setminus \{2,3,4\}=\{1\}$
• $\{2,3,4\}\setminus \{1,2,3\}=\{4\}$
• 若$\mathbb {R}$是實數集合，$\mathbb {Q}$是有理數集合，則$\mathbb {R} \setminus \mathbb {Q}$為無理數集合。

下列命題給出一些差集同聯集和交集等集合論運算相關的一些常用性質。

命題1：若$A,B,C$是集合，則下列等式恆成立：

• $C\setminus (A\cap B)=(C\setminus A)\cup (C\setminus B)$
• $C\setminus (A\cup B)=(C\setminus A)\cap (C\setminus B)$
• $C\setminus (B\setminus A)=(A\cap C)\cup (C\setminus B)$
• $(B\setminus A)\cap C=(B\cap C)\setminus A=B\cap (C\setminus A)$
• $(B\setminus A)\cup C=(B\cup C)\setminus (A\setminus C)$
• $A\setminus A=\varnothing$
• $\varnothing \setminus A=\varnothing$
• $A\setminus \varnothing =A$

絕對差集

補集$A^{\complement }$

若給定全集$U$，則$A$在$U$中的差集稱為$A$的絕對差集（又稱為補集），記為$A^{\complement }$，即：

$A^{\complement }=U\setminus A$

（注意：根據ISO與中華人民共和國國家標準，$A$中子集$B$的補集記作$\complement _{A}B$。）

例如，若全集為自然數集合，則奇數集合的補集為偶數集合。

下列命題給出一些補集同聯集和交集等集合論運算相關的一些重要性質。

命題2：若$A$和$B$是全集$U$的子集，則下列恆等式成立：

德摩根定律：

• $(A\cup B)^{\complement }=A^{\complement }\cap B^{\complement }$
• $(A\cap B)^{\complement }=A^{\complement }\cup B^{\complement }$

補集律：

• $A\cup A^{\complement }=U$
• $A\cap A^{\complement }=\varnothing$
• $\varnothing ^{\complement }=U$
• $U^{\complement }=\varnothing$

對合：

• $(A^{\complement })^{\complement }=A$

差集和補集的關係：

• $A\setminus B=A\cap B^{\complement }$
• $(A\setminus B)^{\complement }=A^{\complement }\cup B$

上述表明，若$A$為$U$的非空子集，則${A,A^{\complement }}$是$U$的一個分割。

補集的符號

補集的符號在Unicode中為數學運算符區段中的「∁」（Unicode：U+2201）。

參見

• 集合代數
• 樸素集合論
• 對稱差
• 布林運算
• 交集
• 聯集