Definition:Cancellable Mapping

Definition
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


 * $f$ is both a left cancellable mapping and a right cancellable mapping.
 * $f$ is both a left cancellable mapping and a right cancellable mapping.