for G being _Graph holds VertexDomRel G c= VertexAdjSymRel G by XBOOLE_1:7;