:: deftheorem defines .edgesBetween GLIB_000:def 29 :
for G being _Graph
for X being set holds G .edgesBetween X = (G .edgesInto X) /\ (G .edgesOutOf X);