Definition:Reachability Relation/Definition 1

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

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