for G being _Graph holds the_Edges_of G = G .edgesBetween (the_Vertices_of G)