"T"formula_3"G"，对于任何包含 "R" 的传递的 "G"。所以，"T" 是包含 "R" 的最小传递闭包。
推论.如果 "R" 是传递的，则 "R" = "T"。
用途.注意两个传递关系的并集不必须是传递的。为了保持传递性，必须采用传递闭包。例如，这出现在取两个等价关系或预序的并的时候。为了获得新的等价关系或预序，必须选用传递闭包(自反性和对称性 — 在等价关系的情况下 — 是自动的)。有向无环图(DAG)的传递闭包是 DAG 的可到达性