:: deftheorem Def5 defines non-Dmulti GLIB_014:def 5 :
for S being Graph-membered set holds
( S is non-Dmulti iff for G being _Graph st G in S holds
G is non-Dmulti );