如果***A是***B的子集，并且***B不是***A的子集，那么***A叫做***B的真子集。如果A包含于B,且A不等于B,就说***A是***B的真子集。

如果***AB，存在元素x∈B，且元素x不属于***A，我们称***A与***B有真包含关系，***A是***B的真子集。记作AB（或BA），读作“A真包含于B”（或“B真包含A”）。即：对于***A与B，x∈A有x∈B，且x∈B且xA，则AB。空集是任何非空***的真子集。

非空真子集：如果***AB，且***A≠，***A是***B的非空真子集。

真子集与子集的区别：子集就是一个***中的全部元素是另一个***中的元素，有可能与另一个***相等；真子集就是一个***中的元素全部是另一个***中的元素，但不存在相等。