Definition:Directed Walk

Definition
Let $G = \struct {V, A}$ be a directed graph.

A directed walk in $G$ is a finite or infinite sequence $\sequence {x_k}$ such that:


 * $\forall k \in \N: k + 1 \in \Dom {\sequence {x_k} }: \tuple {x_k, x_{k + 1} } \in A$