theorem :: GLIBPRE0:74

for G being _Graph
for V being set
for H being addVertices of G,V
for E being Subset of (the_Edges_of G) holds
( E is RepDEdgeSelection of G iff E is RepDEdgeSelection of H )