Symbols:Set Theory/Proper Superset

From ProofWiki
Jump to navigation Jump to search

Proper Superset

$\supsetneq$ or $\supsetneqq$

$S \supsetneq T$ and $S \subsetneqq T$ both mean:

$S$ is a proper superset of $T$

In other words, $S \supseteq T$ and $S \ne T$.

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

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


$\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.