Definition:Reachability Relation

Also see

 * Equivalence of Definitions of Reachability Relation
 * Definition:Reachable