Definition:Proper Subset/Also defined as

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