不属于符号：否定成员关系怎么写

不属于符号适合记录“某个对象被这个集合排除”，但它并不等于“这个对象在任何地方都不存在”。读到一个带斜线的成员记号，首先应找到右边集合的具体定义，再判断左边对象为何不满足。缺少集合范围，单独记下否定关系没有足够信息。

否定判断必须有明确参照

例如奇数集合不收纳偶数，但同一个偶数仍是整数集合的元素。否定关系只针对当前集合，不会顺带否定它与其他集合的关系。复习时若把右边的集合名省略成模糊的“里面”，再次阅读就可能失去判断依据。

对于列举完整的有限集合，可以逐项比较候选对象；若列表后还有省略号，就要先读懂延续规则，不能因为暂时看不到某项便说它不在集合中。特别是无限集合，展示出来的前几个元素仅是帮助说明，并不是全部成员清单。

对于条件描述的集合，需要找到候选对象不满足的要求。集合由“整数且大于零”定义时，非整数与非正整数被排除的原因不同。把原因写下来有助于检查自己究竟用了哪一条条件，也便于后面调整范围时重新判断。

先处理边界，再判断是否被排除

区间端点是容易漏看的地方。一个端点是否属于区间，由该端采用开口还是闭口决定，不能只凭它与边界“数值相同”下结论。转录时先核对左右括号各自的形式，再测试端点和区间内部的一个值，能较快发现抄反。

如果集合元素本身是有序对，要把整对当成对象比较，不能只比较第一项就断定。若元素是集合，也要区分某个数与装着该数的集合。成员判断不允许跳过这一层包装，否则会把“不是直接元素”误读成“与集合毫无关系”。

否定一个成员关系与否定集合包含关系也不同。前者只说某个对象不在某集合中，后者涉及一个集合是否全部包含于另一个集合。证明“不被包含”时常需要找反例元素，但结论中的两个集合不能直接用否定成员记号连接来替代。

让斜线成为记号的一部分

输入时可用 \notin，例如：

3\notin\{2,4,6\}

不要先写普通成员记号，再添加一个独立斜杠。它们可能在某种字号下碰巧重叠，换行或改字体后却分开，读者便可能只看到肯定关系。使用完整命令还能方便你在源码中检查否定是否确实存在。

本站支持在 LaTeX 模式编辑这类短式。返回预览时不仅看有无报错，还要辨认斜线是否清楚，以及左侧数字有没有误放进右侧花括号。渲染只负责显示输入结构，集合判断的真假仍需要根据定义确认。

把排除理由写成可复核的一句话

整理错题时，不妨在公式后用正文说明“因为它不满足哪项要求”。这比只在错误答案上画叉更利于复习，也可避免下一次误把同一对象从更大的集合里一并排除。

在本站文档中可以插入关系式，再接着输入排除原因。若已有式子需要改成肯定关系，双击打开编辑后更换相应命令，并重新检查文字理由。登录后能保存文档；将文档导出用于外部整理时，需要登录及会员条件都满足。

延伸阅读

• WolframAlpha：查看公式整理在数学任务中的位置。
• 子集符号：区分元素被排除与集合包含不成立。