Definition:Image (Set Theory)/Mapping/Mapping/Definition 2

From ProofWiki
Jump to navigation Jump to search


The image of a mapping $f: S \to T$ is the set:

$\Img f = f \sqbrk S$

where $f \sqbrk S$ is the image of $S$ under $f$.

Also denoted as

The notation $\Img f$ to denote the image of a mapping $f$ is specific to $\mathsf{Pr} \infty \mathsf{fWiki}$.

The usual notation is $\image f$ or a variant, but this is too easily confused with $\map \Im z$, the imaginary part of a complex number.

Hence the non-standard usage $\Img f$.

Also see