Domain of Injection Not Larger than Codomain

From ProofWiki
Jump to: navigation, search

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


Proof


Sources