A [[Function|function]] $f:A\rightarrow B$ is a **surjection** if $f(A)=B$, meaning there are no elements in the codomain $B$ that are not in the range. $R(f)=B$ [[‡ Epimorphism]]