Surjective function/Definition

A function for which every possible output value occurs for one or more input values: the image is the whole of the codomain.