theorem Th192: :: GLENUM00:192

for G being _Graph holds
( G is connected iff G | _GraphSelectors in G .allComponents() )