for G1, G2, G3 being Ring st G1 <= G2 & G2 <= G3 holds
G1 <= G3