符号:A?B(读作A含于B),或 B?A(读作B包含A),且A≠B。叫做A是B的真子集。

真子集定义：如果***A?B，但存在元素X∈B，且元素X不属于***A，我们称***A是***B的真子集。

注 : 空集是所有***的子集 子集就是一个***中的元素全部都是另一个***中的元素，有可能与另一个***相等 真子集就是一个***中的元素全部是另一个***中的元素，但不存在相等。