\begin{definition}[Definition:Reachability Relation/Definition 1]
Let $G = \left({V, A}\right)$ be a directed graph.
Then the '''reachability relation''' of $G$ is the transitive closure of $A$.
\end{definition}