Why is it impossible for a function to have fewer values in its domain than in its range?

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