包含于符号A⊆B可以通俗的理解为它们相等如果集合A是集合B的子集，并且集合B中至少有一个元素不属于A，那么集合A叫做集合B的真子集对于集合A与B，∀x∈A有x∈B，则A⊆B。可知任一集合A是自身的子集，空集是任一集合的子集。简单来说，子集可以包括自己，真子集不能包括自己。子集比真子集范围大，子集里可以有全集本身，真子集里没有，还有，要注意非空真子集与真子集的区别，前者不包括空集，后者可以有。举例说明，比如全集I为{1，2，3}，它的子集为{1}、{2}、{3}、{1，2}、{1，3}、{2，3}、{1，2，3}、再加个空集；而真子集为{1}、{2}、{3}、{1，2}、{1，3}、{2，3}、再加个空集，不包括全集I本身。

非空真子集为{1}、{2}、{3}、{1，2}、{1，3}、{2，3}，不包括I及空集。

设全集I的个数为n，它的子集个数为2的n次方，真子集的个数为2的n次方-1，非空真子集的个数为2的n次方-2。