theorem Th2: :: GLENUM00:2

for G being _Graph
for H being Subgraph of G holds H | _GraphSelectors in G .allSG()