Обратное соответствие
Поскольку 
представляет собой множество таких вершин 
, для которых в графе G существует дуга (хi, хj), то через 
естественно обозначить множество вершин хk, для которых в G существует дуга (хk, хi). Отношение принято называть обратным соответствием. Для графа, изображенного на рис (а), имеем
и т. д.
Для неориентированного графа 
для всех 
.
Когда отображение Г действует не на одну вершину, а на множество вершин 
, то под 
) понимают объединение
-
т. е. является множеством таких вершин , что для каждой из них существует дуга (хi, хj) в G, где 
.
Пример.
Для графа, приведенного на рис. (а), 
и 
.
Отображение Г(Г(хi)) записывается как Г2(хi). Аналогично «тройное» отображение Г(Г(Г(хi))) записывается как Г3(хi) и т. д.
Пример.
Для графа, показанного на рис. (а), имеем:
Г2(х1) = Г(Г(x1)) = Г({х2, х5}) = {x1, x3, x4}
Г3(х1) = Г(Г2(x1)) = Г({x1, x3, x4}) = {x1, x2, x5} и т. д.
Аналогично понимаются обозначения Г-2 (xi), Г-3(xi) и т. д