有向图的环的定义