theorem Th82: :: GLIB_009:82

for G1 being _Graph
for E1 being RepEdgeSelection of G1
for G2 being inducedSubgraph of G1, the_Vertices_of G1,E1
for E2 being RepEdgeSelection of G2 holds E1 = E2