在数学领域中，“真子集”是一个非常基础且重要的概念，尤其是在集合论的研究中。要理解什么是真子集，首先需要了解“子集”的定义。
子集的定义
如果集合A中的每一个元素都属于集合B，那么集合A就称为集合B的一个子集。通常用符号“⊆”来表示这种关系。例如，若A = {1, 2}，B = {1, 2, 3, 4}，则可以写成A ⊆ B，这表示集合A是集合B的子集。
真子集的定义
与普通的子集不同，真子集是指一个集合的所有元素都包含在另一个集合中，但两个集合不能完全相等。换句话说，如果集合A是集合B的真子集，那么集合A必须是集合B的子集，并且集合A不能等于集合B本身。这可以用符号“⊊”来表示。
例如，如果A = {1, 2}，B = {1, 2, 3, 4}，那么A是B的真子集，可以写成A ⊊ B。但如果A = {1, 2, 3, 4}，B = {1, 2, 3, 4}，则A不是B的真子集，因为它们是相等的集合。
总结
简而言之，真子集就是指一个集合的所有元素都在另一个集合中，但两个集合不能完全相同。真子集的符号表示为“⊊”，而普通子集的符号表示为“⊆”。
通过掌握这些基本概念和符号，我们能够更好地理解和应用集合论中的相关知识。
