真子集的符号是

符号⫋被用来表示真子集的概念。当集合A与集合B的关系满足A中所有元素都在B中，但B至少有一个元素不属于A时，我们称A为B的真子集，即A⫋B。这个关系读作“A真包含于B”，或者可以说成“B包含A但A不等于B的所有元素”。区别于子集，子集的概念更宽泛，它允许两个集合完全相等。