:: deftheorem Def10 defines DSimpleGraph GLIB_009:def 10 :
for G being _Graph
for b₂ being Subgraph of G holds
( b₂ is DSimpleGraph of G iff ex E being RepDEdgeSelection of G st b₂ is inducedSubgraph of G, the_Vertices_of G,E \ (G .loops()) );