The double graph of a given graph 
is constructed by making two copies of 
(including the initial edge set
of each) and adding edges 
and 
for every edge 
of 
.
Note that the double graph differs from the bipartite double graph in that the initial edge set is retained in the double graph, while it is discarded in the bipartite double graph.
