Definition 5.29 (Surjective)

A function $f:A\to B$ is said to be $\text{surjective}$ (or $\text{onto}$), if and only if for every element $b\in B$ there is an element $a\in A$ with $f(a)=b$
- It can also be said that the Range = Codomain