:: deftheorem Def4 defines non-multi GLIB_014:def 4 :
for S being Graph-membered set holds
( S is non-multi iff for G being _Graph st G in S holds
G is non-multi );