for G being _Graph
for v being object
for V being set
for G1, G2 being addAdjVertexAll of G,v,V holds
( the_Vertices_of G1 = the_Vertices_of G2 & ( for v1 being Vertex of G1 holds v1 is Vertex of G2 ) )