# Category:Definitions/Images

This category contains definitions related to Image in the context of Set Theory.
Related results can be found in Category:Images.

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

$\Img f = \set {t \in T: \exists s \in S: \map f s = t}$

That is, it is the set of values taken by $f$.

## Subcategories

This category has only the following subcategory.