Inclusion large en LaTeX (\subseteq)

Où il est utilisé

Indique que tout élément de l’ensemble de gauche appartient aussi à l’ensemble de droite ; les ensembles peuvent être égaux.

Utilisez \subseteq pour l’inclusion qui autorise l’égalité, comme dans A \subseteq A, et dans des définitions comme celle d’une topologie stable par réunion de sous-familles \mathcal{U} \subseteq \tau. Beaucoup d’auteurs utilisent simplement \subset dans le même sens, tandis que d’autres réservent \subset à l’inclusion stricte ; il vaut donc la peine de préciser votre convention. Pour une inclusion stricte sans ambiguïté, utilisez \subsetneq. La négation est \nsubseteq ou \not\subseteq. Pour montrer que deux ensembles sont égaux, une démonstration classique établit A \subseteq B et B \subseteq A.

Également dans: Théorie des ensembles

Exemple minimal compilable

Collez-le dans un fichier .tex vide et compilez avec pdfLaTeX, XeLaTeX ou LuaLaTeX.

\documentclass{article}
\begin{document}
Subset or Equal: $\subseteq$

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

Symboles associés

• Inclusion stricte\subsetneq
• Inclusion\subset
• Sur-ensemble\supset
• Isomorphisme (isométrie)\cong
• Sur-ensemble au sens large\supseteq
• Tilde (relation)\sim

Questions fréquentes

Comment écrire Inclusion large en LaTeX ?

Tapez \subseteq en mode mathématique, par exemple $A \subseteq B \land B \subseteq A \iff A = B$. La commande fonctionne en LaTeX standard sans charger de paquet.

Quel paquet faut-il pour \subseteq ?

Aucun. \subseteq fait partie de LaTeX standard : le préambule n’a besoin que de la classe de document.

Peut-on utiliser \subseteq en mode texte, ou seulement en mode mathématique ?

Seulement en mode mathématique. Hors de $...$, LaTeX s’arrête avec "Missing $ inserted" : dans le texte, écrivez $\subseteq$. Si vous voulez seulement le glyphe dans le texte, collez le caractère Unicode ⊆ (avec XeLaTeX ou LuaLaTeX et une police qui le contient).