定义 包含

自然语言

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

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

即集合 $X$ 是集合 $Y$ 的子集，则称集合 $X$ 包含于集合 $Y$ ，记作

$$ \bbox[5pt]{ X \subset Y } $$