When a set of ordered pairs passes the vertical line test, it is a function. Since there is only one corresponding value for any given value, the ordered pair relation IS a function.