真子集不包括本身，但是可以包括空集。如果A包含于B，且A不等于B，就说集合A是集合B的真子集。如果集合AB，且集合A≠，集合A是集合B的非空真子集。
如何区别子集与真子集子集是一个数学概念，如果集合A的任意一个元素都是集合B的元素，则任意a∈A，a∈B。那么集合A称为集合B的子集。如果集合A是集合B的子集，并且集合B中至少有一个元素不属于A，那么集合A叫做集合B的真子集。空集是任何集合的子集。而不是任何集合的真子集，如空集就不是空集的真子集。
