Inclusión no estricta en LaTeX (\subseteq)

Dónde se usa

Indica que todo elemento del conjunto de la izquierda pertenece también al de la derecha; los conjuntos pueden ser iguales.

Usa \subseteq para la inclusión que admite la igualdad, como en A \subseteq A, y en definiciones como la de una topología cerrada bajo uniones de subfamilias \mathcal{U} \subseteq \tau. Muchos autores usan \subset a secas con el mismo significado, mientras que otros reservan \subset para la inclusión estricta, así que conviene aclarar tu convención. Para la inclusión estricta sin ambigüedad, usa \subsetneq. La negación es \nsubseteq o \not\subseteq. Para demostrar que dos conjuntos son iguales, una prueba estándar muestra A \subseteq B y B \subseteq 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}
\begin{document}
Subset or Equal: $\subseteq$

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

Símbolos relacionados

• Subconjunto propio\subsetneq
• Subconjunto\subset
• Superconjunto\supset
• Isomorfismo (congruencia)\cong
• Superconjunto o igual\supseteq
• Tilde (relación)\sim

Preguntas frecuentes

¿Cómo escribo Inclusión no estricta en LaTeX?

Escribe \subseteq en modo matemático, por ejemplo $A \subseteq B \land B \subseteq A \iff A = B$. Funciona en LaTeX estándar sin cargar ningún paquete.

¿Qué paquete necesito para \subseteq?

Ninguno. \subseteq forma parte de LaTeX estándar, así que compila solo con la clase de documento en el preámbulo.

¿Puedo usar \subseteq 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 $\subseteq$. Si solo necesitas el glifo en el texto, pega el carácter Unicode ⊆ (con XeLaTeX o LuaLaTeX y una fuente que lo tenga).