:: deftheorem Def7 defines removeParallelEdges GLIB_009:def 7 :
for G being _Graph
for b₂ being Subgraph of G holds
( b₂ is removeParallelEdges of G iff ex E being RepEdgeSelection of G st b₂ is inducedSubgraph of G, the_Vertices_of G,E );