for G1, G2 being _Graph st the_Vertices_of G2 c= the_Vertices_of G1 & ( for e, x, y being object st e DJoins x,y,G2 holds
e DJoins x,y,G1 ) holds
( G2 is Subgraph of G1 & G1 is Supergraph of G2 )