:: deftheorem Def8 defines removeDParallelEdges GLIB_009:def 8 :
for G being _Graph
for b₂ being Subgraph of G holds
( b₂ is removeDParallelEdges of G iff ex E being RepDEdgeSelection of G st b₂ is inducedSubgraph of G, the_Vertices_of G,E );