これはのサブグラフであり、がからに至るより長いパスを持つ場合に辺 → を廃棄することで形成される。