theorem Th64: :: GLIB_006:60

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