Definition:Directed Graph/Arc