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

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

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

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