for G, G1, G2 being Graph st G1 c= G & G2 c= G holds
G1 \/ G2 c= G