LaTeX 中的子集符号（\subset）

用途

表示一个集合包含于另一个集合；常读作真子集。

约定各不相同：有些作者用 \subset 表示任意子集，另一些作者只用它表示真子集，允许相等时用 \subseteq。为避免歧义，许多论文用 \subseteq 表示“子集或相等”，用 \subsetneq 表示“真子集”，并在文中说明一次约定。反向关系是 \supset。典型命题包括 \mathbb{N} \subset \mathbb{Z} \subset \mathbb{Q} 以及线性代数中的子空间包含关系。否定形式 \not\subset 可以使用，而 \nsubseteq 给出更整洁的“不是子集或相等”字形。无论采用哪种解读，都不要在同一文档中来回切换。

也收录于: 关系与比较, 集合论

最小可编译示例

将其粘贴到空白 .tex 文件中，用 pdfLaTeX、XeLaTeX 或 LuaLaTeX 编译。

\documentclass{article}
\usepackage{amssymb}
\begin{document}
Subset: $\subset$

\[ \mathbb{N} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R} \]
\end{document}

相关符号

• 并集符号\cup
• 不属于符号\notin
• 交集符号\cap
• 属于符号\in
• 空集\emptyset
• 存在量词\exists

常见问题

如何在 LaTeX 中输入子集符号？

在数学模式中输入 \subset，例如 $\mathbb{N} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R}$。无需加载任何宏包即可在标准 LaTeX 中使用。

\subset 需要哪个宏包？

不需要。\subset 是标准 LaTeX 的一部分，导言区只需文档类即可编译。

\subset 能在文本模式中使用，还是只能用于数学模式？

只能用于数学模式。在 $...$ 之外，LaTeX 会报错 "Missing $ inserted"，所以在正文中请写 $\subset$。 如果只需要在正文中显示该字形，可以直接粘贴 Unicode 字符 ⊂（需使用 XeLaTeX 或 LuaLaTeX 以及包含该字形的字体）。