Surjection iff Right Cancellable

Theorem
A mapping $f$ is a surjection iff $f$ is right cancellable.

Also see

 * Injection iff Left Cancellable