for G1, G2, G3 being Graph st G1 c= G2 & G2 c= G3 holds
G1 c= G3