Un grafo formula_1 es un par ordenado formula_2, donde: