a digraph d is unilateral

• 图D是单连的。