If every -coordinate in the set of ordered pairs is paired with a different -coordinate, the relation is a function.