for G being non-multi _Graph
for E being RepEdgeSelection of G holds E = the_Edges_of G