:: deftheorem Def11 defines .degreeMap() GLIB_016:def 11 :
for G being _Graph
for b₂ being ManySortedSet of the_Vertices_of G holds
( b₂ = G .degreeMap() iff for v being Vertex of G holds b₂ . v = v .degree() );