for G being _Graph
for E1 being RepDEdgeSelection of G ex E2 being RepEdgeSelection of G st E2 c= E1