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 .
Usually, the image of under is called the range of , whereas is called the image of under .