Image / Range

The image of a function is the set of all output values it can produce:

It is a subset of the codomain . Iff is surjective, then .