符号⫋被用来表示真子集的概念。当集合A与集合B的关系满足A中所有元素都在B中，但B至少有一个元素不属于A时，我们称A为B的真子集，即A⫋B。这个关系读作“A真包含于B”，或者可以说成“B包含A但A不等于B的所有元素”。区别于子集，子集的概念更宽泛，它允许两个集合完全相等。
真子集的符号是
符号⫋被用来表示真子集的概念。当集合A与集合B的关系满足A中所有元素都在B中，但B至少有一个元素不属于A时，我们称A为B的真子集，即A⫋B。这个关系读作“A真包含于B”，或者可以说成“B包含A但A不等于B的所有元素”。
区别于子集，子集的概念更宽泛，它允许两个集合完全相等。子集意味着一个集合的所有元素都在另一个集合中，而真子集则排除了两个集合完全相等的可能性，即存在至少一个元素仅存在于较大的集合中。
进一步细化，当A是B的真子集且A不为空时，我们称A为B的非空真子集。这意味着A的元素完全属于B，但A本身不是空集。2024-08-01
