DAG
閉路
のない有向グラフ
巡回がない、
強連結成分
がないとも言える。