Definition:Path in Digraph