# Category:Definitions/Preimages

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

The preimage of $f$ is defined as:

$\Preimg f := \set {s \in S: \exists t \in T: f \paren s = t}$

That is:

$\Preimg f := f^{-1} \sqbrk T$

where $f^{-1} \sqbrk T$ is the image of $T$ under $f^{-1}$.

In this context, $f^{-1} \subseteq T \times S$ is the the inverse of $f$.

It is a relation but not necessarily itself a mapping.

## Subcategories

This category has only the following subcategory.

## Pages in category "Definitions/Preimages"

The following 21 pages are in this category, out of 21 total.