theorem Th20: :: GLUNIR00:20

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