符号:A⊆B(读作A含于B)，或 B⊇A(读作B包含A)，且A≠B。叫做A是B的真子集。真子集定义：如果集合A⊆B，但存在元素X∈B，且元素X不属于集合A，我们称集合A是集合B的真子集。注 : 空集是所有集合的子集 子集就是一个集合中的元素全部都是另一个集合中的元素，有可能与另一个集合相等 真子集就是一个集合中的元素全部是另一个集合中的元素，但不存在相等。
真子集有几种符号表示
A是B的真子集，那么，A真包含于B用符号这里打不出来 有两种，一种是 开口向右的U ，另一种是开口向右的U下面再加一个不等号写成 A （符号）B
