it is any set of ordered pairs