for S being vertex-disjoint GraphUnionSet
for G being GraphUnion of S
for H being Element of S
for v being Vertex of G
for w being Vertex of H st v = w holds
G .reachableFrom v = H .reachableFrom w