for G1, G2 being _Graph holds
( G1 is Supergraph of G2 iff G2 c= G1 )