:: deftheorem Def6 defines RepDEdgeSelection GLIB_009:def 6 :
for G being _Graph
for b₂ being Subset of (the_Edges_of G) holds
( b₂ is RepDEdgeSelection of G iff for v, w, e0 being object st e0 DJoins v,w,G holds
ex e being object st
( e DJoins v,w,G & e in b₂ & ( for e9 being object st e9 DJoins v,w,G & e9 in b₂ holds
e9 = e ) ) );