如果集合A是集合B的子集，但集合B不是集合A的子集，那么集合A被称为集合B的真子集。如果集合A中的所有元素都是集合B中的元素，但集合A不等于集合B，那么我们说集合A是集合B的真子集。为了表示这种关系，我们使用符号“A⊊B”（或“B⊋A”），读作“A真包含于B”（或“B真包含A”）。这个定义意味着，对于集合A中的每一个元素x，都有x属于集合B，但存在一些元素属于集合B但不属于集合A。空集是任何非空集合的真子集。

非空真子集是指集合A⊊B，且集合A≠∅，即集合A是非空集合且是集合B的真子集。

真子集与子集的主要区别在于：子集是一个集合中的全部元素都是另一个集合中的元素，有可能与另一个集合相等；而真子集是一个集合中的元素全部是另一个集合中的元素，但不存在相等的情况。简而言之，真子集不包含等于的情况。

标签：真子集