\begin{definition}[Definition:Cancellable Mapping]
Let $X$ and $Y$ be sets.
Let $f: X \to Y$ be a mapping from a $X$ to $Y$.
Then
:$f$ is a '''cancellable mapping'''
{{iff}}:
:$f$ is both a left cancellable mapping and a right cancellable mapping.
\end{definition}