Surjection

Definition: Surjection

A function $f:X\to Y$ is called surjective if its image and codomain are equal, i.e. for each $y\in Y$ there is at least one $x\in X$ such that $y=f(x)$.