子集是一个数学概念，如果集合A的任意一个元素都是集合B的元素，则任意a∈A，a∈B。那么集合A称为集合B的子集。

如果集合A是集合B的子集，并且集合B中至少有一个元素不属于A，那么集合A叫做集合B的真子集。

空集是任何集合的子集。而不是任何集合的真子集，如空集就不是空集的真子集。子集就是一个集合中的全部元素是另一个集合中的元素，有可能与另一个集合相等；真子集就是一个集合中的元素全部是另一个集合中的元素，但不存在相等。