for G being _Graph
for X, Y being set holds G .edgesDBetween (X,Y) c= G .edgesBetween (X,Y)