:: deftheorem Def8 defines -Dregular GLIB_016:def 8 :
for c being Cardinal
for G being _Graph holds
( G is c -Dregular iff for v being Vertex of G holds
( v .inDegree() = c & v .outDegree() = c ) );