If every element of the codomain of a function is the image of some element in the domain then the function is said to be onto, or is called a surjection.

A function f:AB is onto or surjective if and only if bB aA with f(a)=b.

A function that is onto is a surjection.

onto		not onto