二元關係 
在 集合 
上的傳遞閉包是包含 
的最小傳遞關係 
在 
上。因此，對於 
的任何元素 
和 
，如果存在 
, 
, ..., 
使得 
, 
, 並且對於所有 
，
成立，則 
。
圖 的傳遞閉包 
是一個圖，每當存在從 
到 
的有向路徑時，它就包含一條邊 
(Skiena 1990, p. 203)。圖的傳遞閉包可以使用以下方法計算：TransitiveClosure[g] 在 Wolfram Language 包中Combinatorica`
.
