Set is Equivalent to Image under Injection
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$.