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