For each value of x (domain), correspond one and only one value of y (range).
Reciprocally, for at least one value of y, correspond one value of x.
If in the range, there is no corresponding value for x, that means the function doesn't exist in this very value of y, which is impossible
