Definition:Proper Subset/Proper Superset

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