差集合

差集合（さしゅうごう、英: set difference）とは、ある集合の中から別の集合に属する要素を取り去って得られる集合のことである。特に、全体集合 $U$ を固定して、 $U$ からその部分集合 $A$ の要素を取り去って得られる集合を $A$ の補集合という。

定義

集合 B から集合 A に属する元を間引いて得られる集合を

B\setminus A,\quad B\smallsetminus A

または B − A と表現し、B から A を引いた差、差集合あるいは B における A の（相対）補集合と呼ぶ。記号を用いて書けば、

x\in B\setminus A\iff x\in B\land x\notin A,

すなわち

{\begin{aligned}B\setminus A&=\{x\mid x\in B\land x\notin A\}\\&=\{x\in B\mid x\notin A\}\end{aligned}}

が差集合の定義である。これは $A\subset B$ とは限らない場合にも定義される。後述の（絶対）補集合の言葉で書けば、 $B\setminus A$ とは、B における A ∩ B の補集合である。なお、一般に集合の差は交換法則を満たさない：

A\setminus B\neq B\setminus A.

これらが等しくなるのは、A = B のとき、またそのときに限る。

集合 A, B が加法 + を持つ代数系（特に加法群）の部分集合であるとき、B − A は集合 {b − a | a ∈ A, b ∈ B} と紛らわしいのでこの記法を使用するには注意が必要である。

P = {1, 3, 5, 7, 9} (10 以下の奇数の集合) Q = {2, 3, 5, 7} (10 以下の素数の集合) このとき

P\smallsetminus Q=\{1,9\}

であり、

Q\smallsetminus P=\{2\}

である。

全体集合や普遍集合 (universe) などと呼ばれる（大きな）集合 U を固定して、その部分集合についてのみ考えているとき（例えば、U が自然数全体、実数全体やある位相空間であるときなど） U の部分集合 A について、

U\smallsetminus A

を A の（絶対）補集合（ほしゅうごう、complement）といい、Uが了解されている文脈では単に

A^{\mathrm {c} },\,\complement A,\,{\overline {A}}

などと表す。

P の補集合を P^c と表す場合、おおくは P が P の閉包をあらわす。逆に P が補集合を表しているような文脈では、P^c で P の閉包 (closure) を記すことがある。

P, Q をある集合の部分集合とするとき、

{\begin{aligned}(P\cup Q)^{\mathrm {c} }&=P^{\mathrm {c} }\cap Q^{\mathrm {c} }\\(P\cap Q)^{\mathrm {c} }&=P^{\mathrm {c} }\cup Q^{\mathrm {c} }\end{aligned}}

が成り立つことが分かる。これはもっと一般化できて、{P_λ}_λ∈Λ をある基礎となる集合の部分集合の族とするときに、

{\begin{aligned}\left(\bigcup _{\lambda \in \Lambda }P_{\lambda }\right)^{\mathrm {c} }&=\bigcap _{\lambda \in \Lambda }P_{\lambda }^{\mathrm {c} }\\\left(\bigcap _{\lambda \in \Lambda }P_{\lambda }\right)^{\mathrm {c} }&=\bigcup _{\lambda \in \Lambda }P_{\lambda }^{\mathrm {c} }\end{aligned}}

が成り立つ。これらをド・モルガンの法則という。

この法則は、対応する論理記号の性質（特に双対性）を反映したものである。詳しくは記号論理学の項目を参照。