Equivalence of Definitions of Reachability Relation

Theorem
The following definitions of reachability relation are equivalent:

Proof
This follows immediately from Equivalence of Reachable Definitions.