定义：

$A \subseteq B$

至少有 $b \in B, b \notin A$,

$\Rightarrow A \subset B$

图示：

性质：

$\varnothing \subset A$ (A为非空子集)

若$A \subseteq B B \subseteq C$
则
$A \subset C$