donde "G-e" es el multigrafo que se obtiene al eliminar la arista "e", y "G/e" es la contracción de "G" sobre "e", en la que las múltiples aristas de esta contracción no son eliminadas.