差集

$$A-B=\{x|x\in A\wedge x\notin B\}$$

定义为 A 中去掉 B 中的元素