An edge path in a graph $X$ is a finite composition of oriented edges $k_n$ with $k_{n+1}(0) = k_n(1)$.
Wikidata ID: Q1415372