LaTeX 中的真子集符号（\subsetneq）

用途

下方横线带斜杠的子集符号：左边集合包含于右边集合，但二者不相等。

\subsetneq 明确表示真包含，消除了 \subset 的歧义（有些文献把 \subset 视为非严格包含）。它出现在 \mathbb{N} \subsetneq \mathbb{Z} \subsetneq \mathbb{Q} 这样的链中，以及关于理想的极大性论证中。变体包括 \subsetneqq（带斜杠的双横线）和 \varsubsetneq（斜杠只穿过横线）。不要把它与 \nsubseteq 混淆，后者表示根本不是子集。它对应的超集符号是 \supsetneq。它是关系符，两侧间距会自动处理。证明包含是严格的时，先证明 A \subseteq B，再举出 B 中一个不属于 A 的元素。

也收录于: 集合论

最小可编译示例

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

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

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

相关符号

• 超集符号\supset
• 子集或等于符号\subseteq
• 超集或等于符号\supseteq
• 子集符号\subset
• 垂直符号\perp
• 全等（同构）符号\cong

常见问题

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

在数学模式中输入 \subsetneq，例如 $\mathbb{N} \subsetneq \mathbb{Z} \subsetneq \mathbb{Q} \subsetneq \mathbb{R}$。请先用 \usepackage{amssymb} 加载 amssymb。

\subsetneq 需要哪个宏包？

\subsetneq 需要 amssymb：在文档开始前把 \usepackage{amssymb} 加入导言区。

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

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