定义 交集

自然语言

对集合 $X$ 和集合 $Y$ ，定义它们的交集为

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

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