有向グラフでは、からまで有向道がたどれる場合に、頂点の順序対formula_45が「強連結」であると言う。