Sur-ensemble en LaTeX (\supset)

Où il est utilisé

Relation de sur-ensemble : l’ensemble de gauche contient celui de droite (souvent au sens strict, selon la convention).

\supset est l’image miroir de \subset : A \supset B dit que B est inclus dans A. Comme pour \subset, les auteurs ne s’accordent pas sur le fait qu’il autorise l’égalité ; précisez votre convention ou utilisez \supseteq et \supsetneq pour lever le doute. Des textes de logique de traditions plus anciennes, dont les Principia Mathematica, utilisaient \supset pour l’implication matérielle : vous pourrez donc rencontrer p \supset q dans des articles de philosophie. Dans un texte nouveau, \to ou \implies est plus clair pour l’implication. La négation est \not\supset, et \nsupseteq couvre la version large.

É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}
Superset: $\supset$

\[ \mathcal{F} \supset \{A_1, A_2, \ldots\} \]
\end{document}

Symboles associés

• Sur-ensemble au sens large\supseteq
• Inclusion stricte\subsetneq
• Perpendicularité\perp
• Inclusion large\subseteq
• Parallélisme\parallel
• Inclusion\subset

Questions fréquentes

Comment écrire Sur-ensemble en LaTeX ?

Tapez \supset en mode mathématique, par exemple $\mathcal{F} \supset \{A_1, A_2, \ldots\}$. La commande fonctionne en LaTeX standard sans charger de paquet.

Quel paquet faut-il pour \supset ?

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

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