傳遞集合

傳遞集合 、 即在ZF或ZFC集合論中 ， 一個集合 是傳遞的 ， 如果 或等價地 ， 或者 設爲傳遞集 ， 於是由能推出這和偏序的傳遞性類似 。 因此 ， 說是傳遞集相當於說是一個偏序集 。 在其它有基本元素的概念的集合論中 ， 傳遞性可以說成 如果不是基本元素且 ， 則 不包含基本元素的一個集合是傳遞性的 ， 當且僅當 。