Function graph

The graph of a function is the set of ordered pairs , with the relation