Directed edge (source code)

= Directed edge

A directed edge $u\to v$ has an initial vertex $u$ and a terminal vertex $v$.