真子集（proper subset）是指 如果集合A的所有元素都是集合B的元素，但集合B中至少有一个元素不属于集合A，则称集合A是集合B的真子集。记作A⊊B或（B⊋A），读作“A真包含于B”或“B真包含A”.
真子集与子集的区别在于：
子集：
如果集合A中的任意一个元素都是集合B的元素，那么集合A叫做集合B的子集。记作A⊆B或B⊇A，读作“A包含于B”或“B包含A”.
真子集：
如果集合A是集合B的子集，并且B中至少有一个元素不属于A，那么集合A叫做集合B的真子集。这意味着真子集是子集的一种特殊情况，即两个集合不相等.
举例说明：
集合A={1,2,3}，集合B={2,4}，集合C={1,2,3,4}。在这种情况下，集合A和集合B都是集合C的真子集，因为集合A和集合B都包含于集合C，但集合C中有元素（4）不属于集合A和集合B.
空集是任何非空集合的真子集。例如，空集是集合{1,2,3}的真子集，因为空集是集合{1,2,3}的子集，并且集合{1,2,3}中有元素不属于空集.
总结：
真子集是集合论中一个重要的概念，它描述了两个集合之间的包含关系，并强调了子集与集合之间可能存在的相等性差异。通过真子集的定义和例子，可以更清晰地理解集合之间的包含关系及其特性。