Пусть ориентированный граф - некоторая вершина .

Обозначим - образ вершины ;

- прообраз вершины ;

- образ множества вершин V1 ;

- прообраз множества вершин V1.