Domain of Injection Not Larger than Codomain

Theorem
Let $f: S \rightarrowtail T$ be an injection.

Then:
 * $\left|{S}\right| \le \left|{T}\right|$

where $\left|{S}\right|$ denotes the cardinality of $S$.