Definition:Proper Subset/Also defined as

Proper Subset: Also defined as
Some authors require that $S \ne \O$ for $S$ to be a proper subset of $T$.

Hence, under this convention, $S$ is a proper subset of $T$
 * $\O \subsetneqq S \subsetneqq T$

It is wise to be aware of which definition is in use.