\begin{definition}[Definition:Right Cancellable Mapping]
A mapping $f: X \to Y$ is '''right cancellable''' (or '''right-cancellable''') {{iff}}:
:$\forall Z: \forall \paren {h_1, h_2: Y \to Z}: h_1 \circ f = h_2 \circ f \implies h_1 = h_2$
That is, {{iff}} for any set $Z$:
:If $h_1$ and $h_2$ are mappings from $Y$ to $Z$
:then $h_1 \circ f = h_2 \circ f$ implies $h_1 = h_2$.
\end{definition}