:: deftheorem Def5 defines locally-finite GLIB_013:def 5 :
for G being _Graph holds
( G is locally-finite iff for v being Vertex of G holds v .edgesInOut() is finite );