surjection

A mapping (function) that is ‘onto,’ i.e., in which every element of its codomain has some element of its domain mapped to it. See the function article for a complete exposition.