Definition:Surjection

Definition
Let $S$ and $T$ be sets or classes.

Let $f: S \to T$ be a mapping from $S$ to $T$.

Also see

 * Definition:Injection
 * Definition:Bijection


 * In Surjection iff Right Cancellable it is shown that a mapping $f$ is a surjection it is right cancellable.


 * In Surjection iff Right Inverse it is shown that a mapping $f$ is a surjection it has a right inverse.


 * In Preimages All Exist iff Surjection, it is shown that a mapping $f$ is a surjection the preimage of every element is guaranteed not to be empty.


 * In Subset equals Image of Preimage iff Mapping is Surjection, it is shown that a mapping $f$ is a surjection the image of the preimage of every subset of its codomain equals that subset.