真子集符号

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

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

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

真子集的符号写为⫋。

如果集合A⊆B，存在元素x∈B，且元素x不属于集合A，我们称集合A与集合B有真包含关系，集合A是集合B的真子集（proper subset）。记作A⫋B（或B⫌A），读作“A真包含于B”（或“B真包含A”）。

真子集与子集的区别：

子集就是一个集合中的全部元素是另一个集合中的元素，有可能与另一个集合相等。

真子集就是一个集合中的元素全部是另一个集合中的元素，但不存在相等。

非空真子集：如果集合A⫋B，且集合A≠∅，集合A是集合B的非空真子集（nonvoid proper subset）。