for S1, S2 being GraphUnionSet
for G1 being GraphUnion of S1
for G2 being GraphUnion of S2 st S2 c= S1 holds
G2 is Subgraph of G1