:: deftheorem defines simple GLIB_000:def 22 :
for G being _Graph holds
( G is simple iff ( G is loopless & G is non-multi ) );