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