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
Some sources spell preimage with a hyphen and write pre-image.

A preimage is also known as an inverse image.

Also see

 * Definition:Domain (Set Theory)
 * Definition:Codomain (Set Theory)
 * Definition:Range
 * Definition:Image (Set Theory)