包含于与真包含于的区别
在集合论中，“包含于”和“真包含于”是两个重要的概念，它们用于描述两个集合之间的关系。尽管这两个术语听起来相似，但它们之间有着明显的区别。以下是对这两个概念的详细解释和比较：
一、定义及符号表示
包含于（Subset）：
- 定义：如果集合A的每一个元素都是集合B的元素，则称A是B的子集，或说A包含于B。
- 符号表示：A ⊆ B 或 A ⊂⊃ B（其中“⊆”表示子集关系，“⊂⊃”是另一种表示方式，但不如“⊆”常用）。
- 注意：当A = B时，也满足A ⊆ B的条件，即相等集合也是子集的一种特殊情况。
真包含于（Proper Subset）：
- 定义：如果集合A是集合B的子集，并且A不等于B（即A中存在至少一个元素不属于B），则称A是B的真子集，或说A真包含于B。
- 符号表示：A ⊂ B（注意这里使用的是小写的“⊂”，以区别于普通的子集关系“⊆”）。
- 注意：真子集意味着A中的元素全部属于B，但B中还有额外的元素不在A中。
二、主要区别
是否允许相等：
- 包含于（⊆）：允许两个集合相等。即使A = B，也可以说A包含于B。
- 真包含于（⊂）：不允许两个集合相等。只有当A中的元素全部属于B，且B中至少有一个元素不属于A时，才能说A真包含于B。
关系的严格性：
- 包含于是更宽泛的关系，它包括了相等和真子集两种情况。
- 真包含于是更严格的关系，它排除了相等的情况，只关注真正的部分与整体的关系。
应用场景：
- 在某些情况下，我们可能只需要知道一个集合是否是另一个集合的子集，而不关心它们是否相等。这时可以使用包含于关系。
- 在需要明确区分部分与整体的场合，或者要求找出所有不同于给定集合的真子集时，应使用真包含于关系。
三、示例说明
设集合A = {1, 2}，集合B = {1, 2, 3}。
- 此时可以说A包含于B（A ⊆ B），因为A中的所有元素都在B中。
- 同时也可以说A真包含于B（A ⊂ B），因为A不仅包含于B，而且A不等于B（B中有额外的元素3不在A中）。
再设集合C = {1, 2, 3}，集合D = {1, 2, 3}。
- 此时只能说C包含于D（C ⊆ D），不能说C真包含于D（C ⊄ D），因为C等于D。
通过以上分析可以看出，“包含于”和“真包含于”虽然都描述了集合之间的包含关系，但在是否允许集合相等以及关系的严格性方面存在显著差异。正确理解和应用这两个概念对于进行集合运算和逻辑推理至关重要。
