surjection

A surjection, or a surjective function, is a function $f:A\to B$ such that the codomain is equal to its image ($B=f[A]$), meaning that each element of $B$ is the value of $f(a)$ for at least one $a\in A$.