Esto es, el conjunto de vértices formula_26 puede ser particionado en conjuntos formula_93 y formula_94 tales que cada arista en formula_95 tiene un punto final en formula_93 y un punto final en formula_94.