Assegnati gli insiemi A e B, consideriamo l'applicazione:
a cui possiamo associare il sottoinsieme del prodotto cartesiano AxB:
che si dice grafo di f.
Viceversa, assegnato ad arbitrio un sottoinsieme di AxB, non sempre è possibile determinare un'applicazione img src="/figure_latex/fab.gif"> tale che . Invero, sussiste la seguente proposizione la cui dimostrazione è immediata: