Inclusão ampla em LaTeX (\subseteq)

Onde é usado

Afirma que todo elemento do conjunto à esquerda também pertence ao conjunto à direita; os conjuntos podem ser iguais.

Use \subseteq para a inclusão que admite igualdade, como em A \subseteq A, e em definições como a de uma topologia fechada para uniões de subfamílias \mathcal{U} \subseteq \tau. Muitos autores usam o \subset simples com o mesmo significado, enquanto outros reservam \subset para a inclusão própria, então vale a pena declarar a convenção adotada. Para a inclusão própria sem ambiguidade, use \subsetneq. A negação é \nsubseteq ou \not\subseteq. Para mostrar que dois conjuntos são iguais, uma demonstração padrão prova A \subseteq B e B \subseteq 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}
\begin{document}
Subset or Equal: $\subseteq$

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

Símbolos relacionados

• Subconjunto próprio\subsetneq
• Subconjunto\subset
• Superconjunto\supset
• Sinal de congruência\cong
• Superconjunto ou igual\supseteq
• Sinal de semelhança (til)\sim

Perguntas frequentes

Como escrever Inclusão ampla em LaTeX?

Digite \subseteq no modo matemático, por exemplo $A \subseteq B \land B \subseteq A \iff A = B$. Funciona no LaTeX padrão sem carregar nenhum pacote.

Qual pacote é necessário para \subseteq?

Nenhum. \subseteq faz parte do LaTeX padrão, então compila só com a classe do documento no preâmbulo.

Posso usar \subseteq 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 $\subseteq$. Se você só precisa do glifo no texto, cole o caractere Unicode ⊆ (com XeLaTeX ou LuaLaTeX e uma fonte que o tenha).