for S1, S2 being vertex-disjoint GraphUnionSet
for G1 being GraphUnion of S1
for G2 being GraphUnion of S2 st S1,S2 are_isomorphic holds
G2 is G1 -isomorphic