Definition:Reachability Relation

Also see

 * Equivalence of Reachability Relation Definitions
 * Definition:Reachable