Symbols:Set Theory/Superset

From ProofWiki
Jump to navigation Jump to search



$S \supseteq T$ means $S$ is a superset of $T$, or equivalently, $T$ is a subset of $S$.

Thus every element of $T$ is also an element of $S$.

Note that this symbol allows the possibility that $S = T$.

The $\LaTeX$ code for \(\supseteq\) is \supseteq .

Deprecated Symbols


$\supset$ is sometimes used to mean:

$S$ is a superset of $T$

in the sense that $S$ is permitted to equal $T$.

That is, for which we have specified as $S \supseteq T$.

Although many sources use this interpretation, it is emphatically not recommended, as it can be the cause of considerable confusion.