Definition:Image (Relation Theory)/Relation

Definition
Let $\mathcal R \subseteq S \times T$ be a relation.

Also see

 * Mapping, in which the context of an image is usually encountered.


 * Domain
 * Codomain
 * Range


 * Preimage (also known as inverse image)