Definition:Finite Path

Definition
Let $G$ be a graph.

A finite path in $G$ is a path consisting of a finite number of edges.

Also see

 * Finite Path has Finite Number of Vertices: as the vertices in a path are distinct (apart from perhaps the first and last), it follows that a finite path also has a finite number of vertices.