一个集合除本身以外的所有子集，包括空集。对于两个集合A、B，集合A中任意一个元素都是集合B中的元素，这两个集合有包含关系，称集合A为集合B的子集。记作A，B，读作，A包含于B，或B包含A。
子集就是一个集合中的全部元素是另一个集合中的元素，有可能与另一个集合相等。真子集就是一个集合中的元素全部是另一个集合中的元素，但不存在相等。
真子集就是一个集合除本身以外的所有子集，包括空集。
子集：
对于两个集合A与B，如果集合A的任何一个元素都是集合B的元素，我们就说集合A包含于集合B，或集合B包含集合A，也说集合A是集合B的子集。
空集：
不含任何元素的集合
