Let be a graph with an edge in
We define as the graph with