for S being GraphUnionSet
for G being GraphUnion of S
for e, v, w being object st e Joins v,w,G holds
ex H being Element of S st e Joins v,w,H