真子集真子集如果集合A⊆B，存在元素x∈B，且元素x不属于集合A，我们称集合A与集合B有真包含关系，集合A是集合B的真子集（proper subset）
记作A⫋B（或B⫌A），读作“A真包含于B”（或“B真包含A”）
即：对于集合A与B，∀x∈A有x∈B，且∃x∈B且x∉A，则A⫋B
空集是任何非空集合的真子集
非空真子集：如果集合A⫋B，且集合A≠∅，集合A是集合B的非空真子集（nonvoid proper subset）
真子集与子集的区别：子集就是一个集合中的全部元素是另一个集合中的元素，有可能与另一个集合相等；真子集就是一个集合中的元素全部是另一个集合中的元素，但不存在相等
以上内容由大学时代综合整理自互联网，实际情况请以官方资料为准。
