集合 A の要素が集合 B の要素でもあるとき、 A は B の部分集合(subset; 下位集合)であるといい、
A ⊆ B または A ⊂ B
と表します。

A ⊆ B かつ B ⊆ A が成り立つとき、A と B は等しいといい、
A ＝ B
と表します。