:: deftheorem Def4 defines -edge GLIB_013:def 4 :
for c being Cardinal
for G being _Graph holds
( G is c -edge iff G .size() = c );