一個二元關係 
在一個集合 
上的傳遞約簡是最小關係 
在 
上，且具有與 
相同的傳遞閉包。 因此，對於 
的任何元素 
和 
，如果 
成立，且不存在 
的元素 
使得 
和 
成立，則 
成立。
傳遞約簡
的傳遞約簡是最小的圖 
，使得 
，其中 
是 
的另請參閱
自反約簡, 傳遞閉包使用 探索
參考文獻
Aho, A.; Garey, M. R.; and Ullman, J. D. "The Transitive Reduction of a Directed Graph." SIAM J. Comput. 1, 131-137, 1972.Skiena, S. Implementing Discrete Mathematics: Combinatorics and Graph Theory with Mathematica. Reading, MA: Addison-Wesley, 1990.在 中引用
傳遞約簡請按如下方式引用
Weisstein, Eric W. "傳遞約簡。" 來自 Web 資源。 https://mathworld.tw/TransitiveReduction.html