定义：

任意的 $x \in A$ , 都有 $x \in B \Rightarrow A \subseteq B$

图示：

性质：

1.
$A \subseteq A$

2.
$\varnothing \subseteq A$

3.
$A \subseteq B B \subseteq C$ ,

则 $A \subset C$