for G being _Graph holds DEdgeAdjEqRel G c= EdgeAdjEqRel G