A vertex v is reachable from another vertex u if there is a path of any length from u to v.