Sur-ensemble au sens large en LaTeX (\supseteq)

Où il est utilisé

Relation de sur-ensemble au sens large : l’ensemble de gauche contient tous les éléments de l’ensemble de droite.

Lisez A \supseteq B comme « A contient B », éventuellement avec égalité. Il est naturel lorsque le plus grand ensemble est le sujet, comme dans \overline{A} \supseteq A pour les adhérences ou \ker f \supseteq \operatorname{im} g dans les raisonnements sur les suites exactes. C’est simplement \subseteq lu dans l’autre sens : choisissez la forme qui place l’ensemble important en premier. La version stricte est \supsetneq, et la négation \nsupseteq. En théorie des treillis et des ordres, il exprime aussi l’ordre d’inclusion inverse sur des familles d’ensembles.

É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 or Equal: $\supseteq$

\[ \overline{A} \supseteq A \supseteq \mathring{A} \]
\end{document}

Symboles associés

• Perpendicularité\perp
• Sur-ensemble\supset
• Parallélisme\parallel
• Inclusion stricte\subsetneq
• Non-parallélisme\nparallel
• Inclusion large\subseteq

Questions fréquentes

Comment écrire Sur-ensemble au sens large en LaTeX ?

Tapez \supseteq en mode mathématique, par exemple $\overline{A} \supseteq A \supseteq \mathring{A}$. La commande fonctionne en LaTeX standard sans charger de paquet.

Quel paquet faut-il pour \supseteq ?

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

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