\begin{definition}[Definition:Image (Set Theory)/Relation/Relation]
Let $\RR \subseteq S \times T$ be a relation.
The '''image''' of $\RR$ is the set:
:$\Img \RR := \RR \sqbrk S = \set {t \in T: \exists s \in S: \tuple {s, t} \in \RR}$
\end{definition}