Double graphs

In this paper we study the elementary properties of double graphs, i.e. of graphs which are the direct product of a simple graph GG with the graph obtained by the complete graph K2K2 adding a loop to each vertex.