定义 真子集

自然语言

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

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

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