Definition:Reachable

Also see

 * Equivalence of Reachable Definitions