Собственное подмножество в LaTeX (\subsetneq)

Где используется

Знак подмножества с перечёркнутой чертой: левое множество содержится в правом, но не равно ему.

\subsetneq явно выражает строгое включение и устраняет неоднозначность \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}$. Сначала подключите amssymb: \usepackage{amssymb}.

Какой пакет нужен для \subsetneq?

Для \subsetneq нужен amssymb: добавьте \usepackage{amssymb} в преамбулу до начала документа.

Можно ли использовать \subsetneq в текстовом режиме или только в математическом?

Только в математическом режиме. Вне $...$ LaTeX остановится с ошибкой "Missing $ inserted", поэтому в тексте пишите $\subsetneq$. Если нужен только сам знак в тексте, вставьте символ Unicode ⊊ (с XeLaTeX или LuaLaTeX и шрифтом, в котором он есть).