theorem Th47: :: GLENUM00:47

for G being _Graph holds G | _GraphSelectors in G .allInducedSG()