差集

在集合論中，差集是補集的推廣，是集合的二元運算，補集要求一個集合是另一個集合的子集才可作補，差集不做要求。

定義

假設有集合$A, B$，定義差集 $$A - B := A \setminus B = \{ x \in A: x \notin B \}.$$ 即在$A$中除去$B$中的元素。