Category:Definitions/Image of Subset under Mapping

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Image of Subset under Mapping.
Related results can be found in Category: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}$