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

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

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