\begin{definition}[Definition:Proper Subset/Proper Superset]
If $S$ is a proper subset of $T$, then $T$ is a '''proper superset''' of $S$.
This can be expressed by the notation $T \supsetneqq S$.
This can be interpreted as '''$T$ properly contains $S$'''.
\end{definition}