 Cross edge in depth-first search

A directed edge whose endpoints have no ancestor-descendant relationship in the depth-first search forest. Their discovery-to-finishing intervals are disjoint by the DFS parenthesis property. Such an edge can connect different completed branches or different search trees.