The definition of a function states that for any x value of the function, there is exactly one y value.