# Category:Images

This category contains results about Image in the context of Set Theory.

Definitions specific to this category can be found in Definitions/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$.

## Also see

## Subcategories

This category has only the following subcategory.

### E

## Pages in category "Images"

This category contains only the following page.