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