差集

差集是指在一个集合中, 而不在另一个集合中的所有元素的集合.

1定义

定义 1.1 (差集). 设 $X,Y$ 是集合. 其差集定义为$$X\setminus Y=\{x\in X\mid x\notin Y\}.$$特别地, 当 $Y$ 为 $X$ 的子集时, 差集 $X\setminus Y$ 也称为 $Y$ 在 $X$ 中的补集.

差集 $X\setminus Y$ 有时也记为 $X-Y$.

术语翻译

差集 • 英文 set difference

补集 • 英文 complement • 法文 complémentaire (m)