在集合论中，子集和真子集是两个重要但有所区别的概念。为了清晰地表达这两个概念及其符号区别，以下是对它们的详细解释：
子集（Subset）
- 定义：如果集合A的每一个元素都是集合B的元素，那么称A是B的子集。
- 符号表示：若A是B的子集，通常使用符号“⊆”来表示，读作“A包含于B”。即，A ⊆ B。
- 特殊情况：任何集合都是其自身的子集，即对于任意集合A，有A ⊆ A。此外，空集是任何集合的子集，即对于任意集合A，有空集⊆ A。
- 举例：设A = {1, 2}，B = {1, 2, 3}。由于A中的每个元素都在B中，因此A是B的子集，可以表示为A ⊆ B。
真子集（Proper Subset）
- 定义：如果集合A是集合B的子集，并且A不等于B（即A中存在至少一个元素不属于B），那么称A是B的真子集。
- 符号表示：若A是B的真子集，通常使用符号“⊂”来表示，读作“A真包含于B”。即，A ⊂ B。注意，有些文献或教材也可能使用其他符号（如A ⫋ B）来表示真子集关系，但“⊂”是最常见的表示方法。
- 特殊情况：空集是任何非空集合的真子集；但空集不是它自身的真子集（因为空集等于自身）。此外，任何集合都不是其自身的真子集。
- 举例：继续上面的例子，设A = {1, 2}，B = {1, 2, 3}。虽然A是B的子集（A ⊆ B），但由于A不等于B（因为B中有额外的元素3），所以A也是B的真子集（A ⊂ B）。然而，如果C = B = {1, 2, 3}，则C不是B的真子集（因为C等于B），而只是B的子集（C ⊆ B）。
总结与对比
- 共同点：子集和真子集都描述了集合之间的包含关系。
- 不同点：子集允许两个集合相等的情况存在；而真子集则要求两个集合不相等（即被包含的集合必须缺少至少一个包含它的集合中的元素）。
- 符号区别：子集用“⊆”表示；真子集用“⊂”（或其他等效符号）表示。
希望这份文档能够帮助您清晰地区分和理解子集与真子集的概念及其符号表示！
