:: deftheorem Def27 defines Trail-like GLIB_001:def 27 :
for G being _Graph
for W being Walk of G holds
( W is Trail-like iff W .edgeSeq() is one-to-one );