for G being _Graph
for H being reverseEdgeDirections of G holds VertexDomRel H = (VertexDomRel G) ~