theorem :: GLENUM00:200

for G being _Graph holds
( G is connected iff G .allComponents() = {(G | _GraphSelectors)} )