Definition:Directed Walk

Definition
Let $G = (V, A)$ be a directed graph.

Then a directed walk in $G$ is a finite or infinite sequence $\left\langle{x_k}\right\rangle$ such that:


 * For all $k \in \N$ such that $k+1 \in \operatorname{Dom}\left\langle{x_k}\right\rangle$: $(x_k, x_{k+1}) \in A$.