:: deftheorem Def4 defines -regular GLIB_016:def 4 :
for c being Cardinal
for G being _Graph holds
( G is c -regular iff for v being Vertex of G holds v .degree() = c );