theorem :: GLUNIR00:50

for G being _Graph
for E being set
for H being reverseEdgeDirections of G,E holds VertexAdjSymRel H = VertexAdjSymRel G