for G being _Graph
for e, x, y being object st e Joins x,y,G holds
e Joins y,x,G ;