theorem :: GLIBPRE0:30

for G being _Graph
for X, Y being set holds G .edgesDBetween (X,Y) = (G .edgesOutOf X) /\ (G .edgesInto Y)