LaTeX 中的子集或等于符号（\subseteq）

用途

表示左边集合的每个元素也都属于右边集合；两个集合可以相等。

\subseteq 用于允许相等的包含关系，如 A \subseteq A，也见于拓扑对子族的并封闭这类定义，其中子族 \mathcal{U} \subseteq \tau。许多作者直接用 \subset 表示同样的意思，另一些作者则把 \subset 留给真包含，因此最好说明你的约定。若要无歧义地表示真包含，请用 \subsetneq。其否定为 \nsubseteq 或 \not\subseteq。证明两个集合相等的标准方法是分别证明 A \subseteq B 和 B \subseteq A。

也收录于: 集合论

最小可编译示例

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

\documentclass{article}
\begin{document}
Subset or Equal: $\subseteq$

\[ A \subseteq B \land B \subseteq A \iff A = B \]
\end{document}

相关符号

• 真子集符号\subsetneq
• 子集符号\subset
• 超集符号\supset
• 全等（同构）符号\cong
• 超集或等于符号\supseteq
• 波浪号关系符\sim

常见问题

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

在数学模式中输入 \subseteq，例如 $A \subseteq B \land B \subseteq A \iff A = B$。无需加载任何宏包即可在标准 LaTeX 中使用。

\subseteq 需要哪个宏包？

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

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

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