for V being non empty set
for E being symmetric Relation of V
for G1, G2 being GraphFromSymRel of V,E holds G2 is G1 -isomorphic by GLIB_010:169;