Paragraph

A function is surjective provided every element of the codomain is the image of at least one element from the domain.

in-context