传递闭包、即在数学中，在集合 "X" 上的二元关系"R" 的传递闭包是包含 "R" 的 "X" 上的最小的传递关系。例如，如果 "X" 是(生或死)人的集合而 "R" 是关系“为父子”，则 "R" 的传递闭包是关系“"x" 是 "y" 的祖先”。再比如，如果 "X" 是空港的集合而关系 "xRy" 为“从空港 "x" 到空港 "y" 有直航”，则 "R" 的传递闭包是“可能经一次或多次航行从 "x" 飞到 "y"”。
存在性和描述.对于任何关系 "R"，"R" 的传递闭包总是