Definition:Trail

A trail is a walk in which all edges are distinct.