Definition:Reachability Relation