有向非巡回グラフ
この方法はより一般的に有効で、全ての有限半順序集合(S、≤)に対して、S の各メンバーに頂点を持ち、u ≤ v で関連する要素のペアに辺を持つグラフは、自動的に DAG の推移閉包となり、(S、≤)を到達可能性関係として持つ。 このようにして、全ての有限半順序集合は、DAG の到達可能性関係として表すことができる。
DAG G の推移簡約(英語版)とは、G と同じ到達可能性関係を表す DAG の中で、最も少ない辺を持つものである。 これは G のサブグラフであり、G が u から v に至るより長いパスを持つ場合に辺 u → v を廃棄することで形成される。 推移閉包と同様、推移簡約も DAG に対して一意に定義される。 一方、DAG 以外の有向グラフでは、同じ到達可能性関係を持つ最小部分グラフが複数存在する場合がある。
DAG G が半順序 ≤ で表される到達可能性関係を持つとき、G の推移簡約は G サブグラフであり、≤ の被覆関係(英語版) にある全てのペアに対し辺 u → v を持つ。 推移簡約は同じ半順序を表す他のグラフに比べて辺の数が少なく、グラフの描画が単純になるため、半順序を視覚化するのに便利である。 半順序のハッセ図は、推移簡約を図示したもので、各辺の向きを、辺の始点の頂点を終点の頂点よりも低い位置に置いて示している。