Ⅰ、包含关系：对于两个集合A，B，如果集合A中任意一个元素都属于集合B；或集合A中任意一个元素都属于集合B，而集合B中至少有一个元素不属于集合A，则称这两个集合A、B具有包含关系，记作$A\subseteq B$或$A \subsetneqq B$。

Ⅱ、子集：对于两个集合A，B，如果集合A中任意一个元素都是集合B中的元素，则称集合A为集合B的子集，记作$A\subseteq B$（或$B\supseteq A$）。

Ⅲ、真子集：对于两个集合A，B，如果集合A中任意一个元素都属于集合B，而集合B中至少有一个元素不属于集合A，则称集合A是集合B的真子集，记作$A \subsetneqq B$（或$B \supsetneqq A$）。