:: deftheorem defines isomorphism GLIB_011:def 7 :
for G1, G2 being non-multi _Graph
for f being PVertexMapping of G1,G2 holds
( f is isomorphism iff ( f is total & f is one-to-one & f is onto & f is continuous ) );