a set of ordered pairs is called a function
NO. It can be but it doesn't have to be.
It is a function if every x value has no more than one y value.