A path is a trail [Trail (Graph theory)] in which all vertices (and therefore also all edges) are distinct.

(“Path (Graph Theory)” 2022)

Bibliography