theorem Th191: :: GLENUM00:191

for G being _Graph
for H being Component of G holds H | _GraphSelectors in G .allComponents()