for G1, G2 being _Graph
for G being GraphUnion of G1,G2 st G1 tolerates G2 holds
G is Supergraph of G2