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 see

 * Domain
 * Codomain
 * Range


 * Image