theorem Th79: :: GLIB_009:79

for G1 being _Graph
for G2 being Subgraph of G1
for E being RepDEdgeSelection of G1 st E c= the_Edges_of G2 holds
E is RepDEdgeSelection of G2