:: deftheorem Def13 defines .outDegreeMap() GLIB_016:def 13 :
for G being _Graph
for b₂ being ManySortedSet of the_Vertices_of G holds
( b₂ = G .outDegreeMap() iff for v being Vertex of G holds b₂ . v = v .outDegree() );