Definition:Proper Subset

Definition
If a set $S$ is a subset of another set $T$, that is, $S \subseteq T$, and also:


 * $S \ne T$
 * $S \ne \O$

then $S$ is referred to as a proper subset of $T$.

The set $T$ properly contains, or strictly contains, the set $S$.

If $S \subseteq T$ and $S \ne T$, then the notation $S \subsetneq T$ is used.

If we wish to refer to a set which we specifically require not to be empty, we can denote it like this:
 * $\O \subsetneq S$

and one which we want to specify as possibly being empty, we write:
 * $\O \subseteq S$

Thus for $S$ to be a proper subset of $T$, we can write it as $\O \subsetneq S \subsetneq T$.

Also known as
$S \subsetneqq T$ can also be read as:
 * $S$ is properly included in $T$, or $T$ properly includes $S$
 * $S$ is strictly included in $T$, or $T$ strictly includes $S$

The following usage can also be seen for $S \subsetneqq T$:


 * $S$ is properly contained in $T$, or $T$ properly contains $S$
 * $S$ is strictly contained in $T$, or $T$ strictly contains $S$

However, beware of the usage of contains: $S$ contains $T$ can also be interpreted as $S$ is an element of $T$.

Hence the use of contains is not supported on.

The symbol $\subsetneq$ is the usual form to use, but the ugly and unwieldy $\subsetneqq$ is sometimes used on after complaints that $\subsetneq$ is too subtle.

The notation used in the literature can be confusing. Many authors use $\subset$ for what we have defined $\subseteq$ to be. Others use $\subset$ to mean $\subsetneqq$.

Because of this confusion, this website does not endorse the use of $\subset$, however neater it is than the unaesthetic and clumsy $\subsetneqq$.

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