:: deftheorem Def1 defines natural-weighted GLIB_005:def 1 :
for G being WGraph holds
( G is natural-weighted iff the_Weight_of G is natural-valued );