[¯|¯] Grafo di un'applicazione

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 tale che . Invero, sussiste la seguente proposizione la cui dimostrazione è immediata: