# Set is Equivalent to Image under Injection

Jump to: navigation, search
 It has been suggested that this page or section be merged into Cardinality of Image of Injection. (Discuss)

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