Definition:Preimage

Mapping
$\mathcal R$ 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.

Also known as
A preimage is also known as an inverse image.

Also see

 * Domain
 * Codomain
 * Range
 * Image