# Set is Equivalent to Image under Injection

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

From ProofWiki

Jump to: navigation, search

It has been suggested that this page or section be merged into Cardinality of Image of Injection. (Discuss) |

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

You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by crafting such a proof.

*When this page/section has been completed,* `{{ProofWanted}}`

*should be removed from the code.*

*If you would welcome a second opinion as to whether your work is correct, add a call to* `{{Proofread}}`

*the page (see the proofread template for usage).*

- This page was last modified on 26 November 2017, at 07:47 and is 377 bytes
- Content is available under Creative Commons Attribution-ShareAlike License unless otherwise noted.