:: deftheorem Def9 defines AP:NextBestEdges GLIB_005:def 9 :
for G being real-weighted WGraph
for EL being FF:ELabeling of G
for VL being AP:VLabeling of EL
for b₄ being Subset of (the_Edges_of G) holds
( b₄ = AP:NextBestEdges VL iff for e being set holds
( e in b₄ iff ( e is_forward_edge_wrt VL or e is_backward_edge_wrt VL ) ) );