定义 差集

自然语言

对集合 $X$ 和集合 $Y$ ，定义集合 $X$ 关于集合 $Y$ 的差集为

$$ \bbox[5pt]{ X \backslash Y \triangleq \{ x \big| ({x \in X})\wedge({x \notin Y}) \} } $$

其中 $\wedge$ 代表逻辑关系“且”