真子集（proper subset）是集合论中的一个概念，它指的是如果集合A的所有元素都在集合B中，但B中存在至少一个元素不属于A，那么集合A是集合B的真子集。用数学符号表示，如果集合A是集合B的真子集，则可以记作A⊊B。
要点总结如下：
1. 真子集的定义：A⊊B，意味着A是B的子集，并且B中至少有一个元素不在A中。
2. 真子集的特点：A和B不相等，即A≠B。
3. 空集的特殊性：空集是任何非空集合的真子集。
举例说明：
如果A={1,2,3}，B={1,2,3,4}，则A是B的真子集，因为A的所有元素都在B中，但B中有元素4不在A中。
如果A={1,2}，B={1,2,3}，则A也是B的真子集，因为A的所有元素都在B中，但B中有元素3不在A中。
希望这能帮助你理解真子集的概念