Surjection

A map $f:X\to Y$ is a surjection iff for every element $y$ in $Y$, there is an element $x\in X$ s.t. $fx=y$.