I understand that every function is equal to some graph, while not every graph corresponds to a function; so that sets aside the difference between functions and graphs. However, I understand that any relation can be represented with a graph, and every graph coresponds to some relation. Therefore, are the set-theoretic structures of "relations" and "graphs" exactly identical? Are they just different names of the same set?
