Definition
Directed path
A finite sequence of vertices joined by edges in their prescribed direction.
A directed path of length in a directed graph is a sequence with for . A length-zero path consists of a single vertex.
Convention and reachability
Here repeated vertices are permitted; some texts call this a directed walk and reserve “path” for sequences with no repeated vertices. A path with no repeated vertices is called simple. A vertex is reachable from if a directed path starts at and ends at . Paths with matching endpoints can be concatenated.