for V being non empty set
for E being Relation of V holds
( E is symmetric iff VertexAdjSymRel (createGraph (V,E)) = E )