二元关系 
在 集合 
上的传递闭包是包含 
的最小传递关系 
在 
上。因此，对于 
的任何元素 
和 
，如果存在 
, 
, ..., 
使得 
, 
, 并且对于所有 
，
成立，则 
。
图 的传递闭包 
是一个图，每当存在从 
到 
的有向路径时，它就包含一条边 
(Skiena 1990, p. 203)。图的传递闭包可以使用以下方法计算：TransitiveClosure[g] 在 Wolfram Language 包中Combinatorica`
.
