传递闭包
數學中，集合 X 上的二元關係 R 的傳遞閉包是包含 R 的 X 上的最小的遞移關係。
例如，如果 X 是由人組成的集合（不論人活著與否）而 R 是關係「為父子」，則 R 的傳遞閉包是關係「x 是 y 的祖先」。再比如，如果 X 是空港的集合而關係 xRy 為「從空港 x 到空港 y 有直航」，則 R 的傳遞閉包是「可能經一次或多次航行從 x 飛到 y」。