Category:Image of Subset under Mapping

This category contains results about Image of Subset under Mapping.
Definitions specific to this category can be found in Definitions/Image of Subset under Mapping.

Let $f: S \to T$ be a mapping.

Let $X \subseteq S$ be a subset of $S$.

The image of $X$ (under $f$) is defined and denoted as:

$f \sqbrk X := \set {t \in T: \exists s \in X: \map f s = t}$