:: deftheorem Def1 defines elabel-full GLIB_010:def 1 :
for G being _Graph holds
( G is elabel-full iff ( ELabelSelector in dom G & ex f being ManySortedSet of the_Edges_of G st G . ELabelSelector = f ) );