\begin{definition}[Definition:Right-Total Relation]
Let $S$ and $T$ be sets.
Let $\RR \subseteq S \times T$ be a relation in $S$ to $T$.
Then $\RR$ is '''right-total''' {{iff}}:
:$\forall t \in T: \exists s \in S: \tuple {s, t} \in \RR$
That is, {{iff}} every element of $T$ is related to by some element of $S$.
That is, {{iff}}:
:$\Img \RR = T$
where $\Img \RR$ denotes the image of $\RR$.
\end{definition}