Surjection iff Right Cancellable

Theorem
Let $f$ be a mapping.

Then $f$ is a surjection $f$ is right cancellable.

Also see

 * Injection iff Left Cancellable