Onto functions (or surjections)

A function that maps to its codomain is called a surjection.

Consider the case a function f(n)=2n maps from the natural numbers to the set of real numbers. This would be considered a surjection since the mapping would only include the set of naturals anyway, and the codomain would be the same.