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

2、一般地，对于两个***A,B,如果***A中任意一个元素都是***B中的元素,我们就说这两个***有包含关系，称***A为***B的子集记作： A⊆B（或B⊇A）读作：“A包含于B”（“B包含A”）而真子集是对于子集来说的真子集定义：如果***A⊆B，但存在元素X∈B，且元素X不属于***A，我们称***A是***B的真子集。