Considérese un Grafo y un subconjunto de aristas . En un ligero abuso de notación, denotamos por el grafo resultante de unir las aristas en al grafo , resultando en .
De manera similar, definimos el grafo resultante de sumar las aristas en a como , donde representa la diferencia simétrica entre y , definida por .
Nótese que la diferencia simétrica corresponde a la adición módulo 2 o a la operación XOR componente a componente si los conjuntos son considerados como vectores bidimensionales sobre el campo entero módulo 2 pregunta