Soit :
Sommet 1 : est l’ensemble des successeurs du sommet Sommet i : est l’ensemble des successeurs du sommet est l’application multivoque qui fait correspondre à une partie de :
On peut également définir le graphe par son application multivoque :
est l’application multivoque réciproque d’un graphe [1]
[1] L’ensemble des prédecesseurs du sommet i