\begin{definition}[Definition:Proper Subset/Improper]
Let $T$ be a set.
$S$ is an '''improper subset''' of $T$ {{iff}} $S$ is a subset of $T$ but specifically ''not'' a proper subset of $T$.
That is, either:
:$S = T$
or:
:$S = \O$
\end{definition}