Aquí un grafo "A" consiste de un conjunto de vértices "V", uno de aristas "E", un mapeo que invierte formula_1, formula_2 tal que formula_3 y formula_4 para toda formula_5, y el "mapeo de vértice inicial" formula_6.