Subconjunto propio en LaTeX (\subsetneq)

Dónde se usa

Símbolo de subconjunto con la barra tachada: el conjunto de la izquierda está contenido en el de la derecha pero no es igual a él.

\subsetneq expresa explícitamente la inclusión estricta y elimina la ambigüedad de \subset, que algunos textos tratan como no estricto. Aparece en cadenas como \mathbb{N} \subsetneq \mathbb{Z} \subsetneq \mathbb{Q} y en argumentos de maximalidad para ideales. Entre sus variantes están \subsetneqq (doble barra tachada) y \varsubsetneq, cuyo trazo cruza solo la barra. No lo confundas con \nsubseteq, que significa «no es subconjunto en absoluto». Su equivalente para superconjuntos es \supsetneq. Es una relación, así que el espaciado a su alrededor se gestiona automáticamente. Al demostrar que una inclusión es estricta, muestra A \subseteq B y exhibe un elemento de B que no esté en A.

También aparece en: Teoría de Conjuntos

Ejemplo mínimo compilable

Pégalo en un archivo .tex vacío y compílalo con pdfLaTeX, XeLaTeX o 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
• Inclusión no estricta\subseteq
• Superconjunto o igual\supseteq
• Subconjunto\subset
• Perpendicularidad\perp
• Isomorfismo (congruencia)\cong

Preguntas frecuentes

¿Cómo escribo Subconjunto propio en LaTeX?

Escribe \subsetneq en modo matemático, por ejemplo $\mathbb{N} \subsetneq \mathbb{Z} \subsetneq \mathbb{Q} \subsetneq \mathbb{R}$. Carga antes amssymb con \usepackage{amssymb}.

¿Qué paquete necesito para \subsetneq?

\subsetneq necesita amssymb: añade \usepackage{amssymb} al preámbulo antes de que empiece el documento.

¿Puedo usar \subsetneq en modo texto o solo en modo matemático?

Solo en modo matemático. Fuera de $...$ LaTeX se detiene con "Missing $ inserted", así que en el texto escribe $\subsetneq$. Si solo necesitas el glifo en el texto, pega el carácter Unicode ⊊ (con XeLaTeX o LuaLaTeX y una fuente que lo tenga).