Range
Let and be any sets and let be any function between them, so that is the domain of and is the codomain. Then is called the range or image of .
Thus, if we have given by , the range of is the set of nonnegative reals.
A function is a surjection exactly when the range is equal to the codomain.