for S being GraphUnionSet
for G being GraphUnion of S
for H being Element of S holds H is Subgraph of G