:: deftheorem Def24 defines closed GLIB_001:def 24 :
for G being _Graph
for W being Walk of G holds
( W is closed iff W .first() = W .last() );