theorem :: GLIBPRE0:70

for G being _Graph
for X being set
for E being Subset of (the_Edges_of G)
for H being reverseEdgeDirections of G,X holds
( E is RepEdgeSelection of G iff E is RepEdgeSelection of H )