:: deftheorem Def12 defines .inDegreeMap() GLIB_016:def 12 :
for G being _Graph
for b₂ being ManySortedSet of the_Vertices_of G holds
( b₂ = G .inDegreeMap() iff for v being Vertex of G holds b₂ . v = v .inDegree() );