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$$.