Recall that the cartesian product of A and B is

A × B = { (a,b) | aA and bB }

and notice that

{ (a,b) | aA and b=f(a) } A × B

if f is a function f:AB.

In other words, (a,f(a))  A × B for all aA.