theorem :: GLIB_009:141

for G1 being _Graph
for G2 being DSimpleGraph of G1 holds G1 .componentSet() = G2 .componentSet()