\begin{definition}[Definition:Larger Set]
Let $S$ and $T$ be sets.
$S$ is defined as being ''' larger than''' $T$ {{iff}} there exists a bijection from $T$ to a subset of $S$.
'''$S$ is larger than $T$''' can be denoted:
:$S \ge T$
\end{definition}