補集

在集合論中，一個集合的相對另一個集合的補集（complementary set）是不在這個集合中的元素構成的集合。

定義

假設有集合$S$以及$X$滿足$S \subset X$，我們稱$S$在$X$中的補集是下面的集合 $$X \setminus S := \{ x \in X: x \notin S \}.$$ 注意定義補集必須先給出一個參考集（一般稱為全集）。補集有一些其它的記號，例如$\complement_X S.$