for G being _Graph st ex e1, e2, x, y being object st
( e1 DJoins x,y,G & e2 DJoins y,x,G ) holds
not VertexDomRel G is asymmetric