Definition (Surjective)

A function $f:X\to Y$ is called surjective or onto if, for every $y\in Y$, there is an element $x\in X$ such that $f(x)=y$. In other words $Im(f)=Y$.