Subconjunto próprio em LaTeX (\subsetneq)

Onde é usado

Símbolo de subconjunto com o traço cortado: o conjunto à esquerda está contido no da direita, mas não é igual a ele.

\subsetneq declara a inclusão própria de forma explícita, eliminando a ambiguidade de \subset, que alguns textos tratam como não estrita. Aparece em cadeias como \mathbb{N} \subsetneq \mathbb{Z} \subsetneq \mathbb{Q} e em argumentos de maximalidade para ideais. As variantes incluem \subsetneqq (traço duplo com corte) e \varsubsetneq, cujo corte atravessa apenas o traço. Não o confunda com \nsubseteq, que significa “não é subconjunto”. Seu correspondente para superconjuntos é \supsetneq. É uma relação, então o espaçamento em volta é automático. Ao provar que uma inclusão é estrita, mostre A \subseteq B e exiba um elemento de B fora de A.

Também aparece em: Teoria dos Conjuntos

Exemplo mínimo compilável

Cole isto em um arquivo .tex vazio e compile com pdfLaTeX, XeLaTeX ou LuaLaTeX.

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

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

Símbolos relacionados

• Superconjunto\supset
• Inclusão ampla\subseteq
• Superconjunto ou igual\supseteq
• Subconjunto\subset
• Sinal de perpendicularidade\perp
• Sinal de congruência\cong

Perguntas frequentes

Como escrever Subconjunto próprio em LaTeX?

Digite \subsetneq no modo matemático, por exemplo $\mathbb{N} \subsetneq \mathbb{Z} \subsetneq \mathbb{Q} \subsetneq \mathbb{R}$. Carregue antes amssymb com \usepackage{amssymb}.

Qual pacote é necessário para \subsetneq?

\subsetneq precisa de amssymb: adicione \usepackage{amssymb} ao preâmbulo antes do início do documento.

Posso usar \subsetneq no modo texto ou só no modo matemático?

Só no modo matemático. Fora de $...$ o LaTeX para com "Missing $ inserted", então no texto escreva $\subsetneq$. Se você só precisa do glifo no texto, cole o caractere Unicode ⊊ (com XeLaTeX ou LuaLaTeX e uma fonte que o tenha).