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