:: deftheorem Def14 defines DJoins GLIB_000:def 14 :
for G being _Graph
for x, y, e being object holds
( e DJoins x,y,G iff ( e in the_Edges_of G & (the_Source_of G) . e = x & (the_Target_of G) . e = y ) );