Definition:Proper Subset

Definition
Let $S$ and $T$ be sets such that $S$ is a subset of $T$.

Let $S \ne T$.

Then $S$ is referred to as a proper subset of $T$, and we write:
 * $S \subsetneq T$

or:
 * $S \subsetneqq T$