傳遞性

一個 關係 在一個 集合 上是傳遞的，如果對於所有 、 和 在 中，使得 且 ，則也有 。