theorem Th198: :: GLENUM00:198

for G being _Graph holds G is GraphUnion of G .allComponents()