定义 子集

自然语言

给定集合 $X$ 和集合 $Y$
若 $\forall x \in X$ 成立

$$ \bbox[5pt]{ x \in Y } $$

则称集合 $X$ 是集合 $Y$ 的子集