:: deftheorem defines continuous GLIB_011:def 3 :
for G1, G2 being _Graph
for f being PVertexMapping of G1,G2 holds
( f is continuous iff for v, w being Vertex of G1 st v in dom f & w in dom f & f /. v,f /. w are_adjacent holds
v,w are_adjacent );