子集关系的方向读反

坑在哪

$\subseteq$ 这个记号的开口朝着大的那一边，可是读题时人脑读的是语序，不是开口方向。于是「$A$ 包含于 $B$」「$B$ 包含 $A$」两句中文说的是同一件事，写成符号却一个是 $A\subseteq B$、一个还是 $A\subseteq B$——真正会写反的是心算时把「谁的元素更多」这件事记岔了。

选择题最爱把这一对同时摆成两个选项（$P\subseteq Q$ 与 $Q\subseteq P$），它们至多一条成立：两条都成立就等于 $A=B$，而单选题不会给你两个正确答案。

怎么避

• 认准「小的在左边」：$A\subseteq B$ 里 $A$ 是被装进去的那个。数轴上就是「$A$ 这一段落在 $B$ 这一段里面」。
• 用元素说话，别用大小说话：要判 $A\subseteq B$，就问「任取 $x\in A$，它一定在 $B$ 里吗」。这个问法天然带方向，不会反。
• 否掉只需一个反例，肯定必须覆盖全体：找到一个属于 $A$ 而不属于 $B$ 的元素，$A\subseteq B$ 当场倒；但举几个都在的例子不能证明它成立。
• 两个都是无限集时，画数轴比背记号快——端点谁在外面一眼就看见。

顺带一提

空集是任何集合的子集，任何集合也都是自己的子集。所以 $A\subseteq B$ 不意味着 $A$ 比 $B$ 真的小一圈——真包含要另写 $A\subsetneq B$，或者补一句 $A\neq B$。