Definition:Reachability Relation/Definition 1

Definition
Let $G = \left({V, A}\right)$ be a directed graph.

Then the reachability relation of $G$ is the transitive closure of $A$.