Inclusion en LaTeX (\subset)

Où il est utilisé

Montre qu’un ensemble est contenu dans un autre ; souvent lu comme une inclusion stricte.

Les conventions varient : certains auteurs utilisent \subset pour toute inclusion, d’autres le réservent aux sous-ensembles stricts et utilisent \subseteq lorsque l’égalité est permise. Pour lever toute ambiguïté, de nombreux articles écrivent \subseteq pour « inclus ou égal » et \subsetneq pour « inclus strictement », et énoncent la convention une fois. La relation inverse est \supset. Les énoncés typiques incluent \mathbb{N} \subset \mathbb{Z} \subset \mathbb{Q} et les inclusions de sous-espaces en algèbre linéaire. La négation \not\subset fonctionne, et \nsubseteq donne un glyphe nié plus propre pour « inclus ou égal ». Quelle que soit la lecture adoptée, évitez d’alterner entre les deux dans un même document.

Également dans: Relations et comparaisons, Théorie des ensembles

Exemple minimal compilable

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

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

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

Symboles associés

• Union\cup
• Non-appartenance\notin
• Intersection\cap
• Appartenance\in
• Ensemble vide\emptyset
• Quantificateur existentiel\exists

Questions fréquentes

Comment écrire Inclusion en LaTeX ?

Tapez \subset en mode mathématique, par exemple $\mathbb{N} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R}$. La commande fonctionne en LaTeX standard sans charger de paquet.

Quel paquet faut-il pour \subset ?

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

Peut-on utiliser \subset 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 $\subset$. Si vous voulez seulement le glyphe dans le texte, collez le caractère Unicode ⊂ (avec XeLaTeX ou LuaLaTeX et une police qui le contient).