子集符号：集合包含关系入门

子集符号连接的是两个集合，关键意思是“左边所有元素都能在右边找到”。它不只比较集合大小，也不要求右边一定多出元素。读到包含关系时，先把“每个”这项要求说完整，再看当前材料是否把相等也包括在内，可以避免不少方向错误。

用逐个元素检查理解包含

设集合 A 收纳一、二，集合 B 收纳一、二、三。检查 A 是否包含于 B 时，从 A 出发逐个查看即可：一在 B 中，二也在 B 中，因此关系成立。这里不需要把 B 的每个元素反过来都放进 A，那是另一个方向的判断。

把两个集合交换后，三会成为一个不符合的例子。这也说明包含关系通常不能随意交换左右位置。口述“B 包含 A”与“A 包含于 B”表达的方向一致，但“包含”和“包含于”只差一个字，转录时应把语句先翻成“谁的元素都在谁里面”。

如果两个集合列出相同元素，只是先后顺序不同，它们仍然相等，也满足通常允许相等的子集关系。列表里重复写一个元素并不会增加新成员，所以判断不能靠逗号数量，更不能把书写顺序当成集合之间的差异。

相等、空集与反例分别处理

使用包含等号意味的记号时，应允许两集合相等；想表达还存在右边独有的元素，需要另加严格性要求。不同教材对不带横线的包含字形可能有不同约定，整理跨来源资料时要保留定义说明，不能按自己熟悉的那本书统一替换。

空集是任何集合的子集，因为找不到一个空集中的元素违反“都在右边”的要求。但空集是否是某集合的元素，是另一回事。这里一个判断针对元素，一个判断针对整个集合的成员范围，混用会让刚记住的性质变成错误命题。

若要否定包含关系，只须找出左边的某个元素不在右边。检查时可先尝试端点、特殊值或条件边界，而不是机械比较两边表面上的长短。集合若由性质定义，即使右边写得短，也可能收纳更多对象；式子的长度不反映集合的包含方向。

给记号明确的相等含义

通常可用 \subseteq 表示允许相等的包含关系，例如：

\{1,2\}\subseteq\{1,2,3\}

源码里的两组显示花括号都应保留，它们告诉读者两侧是集合，而非几个数之间的比较。本站 LaTeX 模式可用于检查命令，切到预览后再看横线与集合边界是否清晰。不要把小于等于记号拿来替代包含关系，它们讨论的对象与含义不同。

让笔记能解释为何成立

一份有用的包含关系记录，除了式子还应留有依据。有限集合可说明逐个元素的对应；条件集合则可说明满足左侧条件为何也满足右侧条件。遇到无法证明的地方，应回查定义，而不是由集合图的大圈小圈直接认定。

本站文档编辑器能将关系式与解释文字放在一起，便于以后修改集合条件。文档保存需登录，导出需再满足会员要求。导出前重新读一次包含方向，尤其检查“包含于”有没有在文字中被省成相反的说法。

延伸阅读

• WolframAlpha：理解数学表达从结果到文档的整理过程。
• 真子集符号：查看严格包含多出的那一项要求。