Definition:Preimage

Definition

The preimage of $\RR \subseteq S \times T$ is:

$\Preimg \RR := \RR^{-1} \sqbrk T = \set {s \in S: \exists t \in T: \tuple {s, t} \in \RR}$

$\RR$ can also be (and usually is in this context) a mapping.

Exactly the same notation and terminology concerning the concept of the preimage applies to the inverse of a mapping.

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.

Some sources use counter image or inverse image instead of preimage.

Some sources hyphenate: pre-image.

Some sources use the notation $\map {f^\gets} Y$ for $f^{-1} \sqbrk Y$.