Set is Equivalent to Image under Injection

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $S$ and $T$ be sets.

Let $f: S \to T$ be an injection.


Then the image of $S$ under $f$ is equivalent to $S$.


Proof