theorem :: GLIBPRE0:72

for G being _Graph
for V being non empty Subset of (the_Vertices_of G)
for H being inducedSubgraph of G,V
for E being RepDEdgeSelection of G holds E /\ (G .edgesBetween V) is RepDEdgeSelection of H