Definition:Arc of Digraph