真子集符号：与子集的边界区别

真子集符号比普通包含关系多了一项“不相等”的要求。做题时只证明左边元素都在右边，往往还差一步：找出右边至少一个没有进入左边的元素。这个差别虽小，却决定能否从一般包含升级为严格包含，也决定记录时该选择哪一种记号。

两道检查缺一不可

以集合 A 为一、二，集合 B 为一、二、三为例，第一道检查是 A 的每个元素是否都在 B 中；第二道检查是 B 中有没有 A 不具备的元素。三提供了第二道检查的依据，因此这里可以使用严格的包含表述。

如果把 B 改成二、一，虽然列表顺序和 A 不同，但集合本身相等，第二道检查无法通过。集合并不按列举次序区分身份，也不因重复列出某个元素而变大。看到“写得不一样”时，应比较实际元素，不要急着认定“不相等”。

包含方向同样重要。证明 B 中存在额外元素，只是在已经确认 A 包含于 B 的前提下说明严格性；单有一个额外元素，不能排除 A 也有 B 没有的元素。若双方各有独有成员，两者可能互不包含，不能把差异直接写成真包含。

不用集合大小的直觉代替证明

有限集合中，元素个数不同是观察线索，但个数少的集合未必是另一个集合的子集。例如一、二组成的集合与三、四、五组成的集合，数量有大小，却没有所需的成员包含关系。仍须先过“所有左侧元素都在右侧”这一关。

无限集合更不能把严格包含简单理解成可数出来的个数更少。偶数集合可作为整数集合的真子集，但关于无限集合元素多少的比较有自己的定义，不能借用有限列表的直觉。当前只需核对成员范围，不必把两种问题混到一条说明里。

空集也要分情况：它是非空集合的真子集，却不是自身的真子集。若右边是否为空还没有确定，就不能直接落下严格记号。先从条件判断右边确实有元素，再说明两集合不相等，证明链才完整。

选能表达严格性的源码

需要清楚排除相等时，可采用 \subsetneq，并在笔记中保持一致：

\{1,2\}\subsetneq\{1,2,3\}

某些教材用另一种包含字形表示严格关系。引用它们时，应沿用并交代原约定，不能只看底部有没有短横就猜意思。输入本站后可在 LaTeX 模式核对命令，再查看预览，确认严格关系没有被误换成允许相等的形式。

给“多出来的元素”留一个位置

写证明时可以先完成包含论证，再单列一个右侧独有元素作为不相等的依据。这两段承担不同任务，分开呈现反而更容易检查。若集合带参数，还应说明这个见证元素在当前参数条件下确实存在，不能拿某个特殊值的例子替代全部情况。

本站文档工作区可将集合定义、关系式和见证说明接续排写，修改公式时双击即可回到编辑状态。登录后保存文档，需导出时再按登录与会员要求操作。核对成稿时，先看依据是否齐全，再看严格记号是否与依据相符。

延伸阅读

• WolframAlpha：分辨计算处理和规范表达各自承担的工作。
• 交集符号：继续阅读两个集合共同元素的表达方法。