Definition:Path (Graph Theory)

A path is a walk in which all vertices are distinct.

It is clear that a path is also a trail, as if an edge is retraced in any walk, then so must the vertices at either end of it.