Sea formula_8 un grafo dirigido con componentes conexas no triviales y formula_9 un conjunto de aristas tal que formula_10 con la condición adicional de que no tiene bucles, es decir formula_11.