传递集合 傳遞集合即在ZF或ZFC集合论中一个集合或类 X displaystyle X 是传递的如果  y  z    y  X    z  y    z  X  displaystyle forall yforall z yin Xland zin yRightarrow zin X 或等價地  y  y  X    y  X  displaystyle forall yyin XRightarrow ysubseteq X 或者  X  X displaystyle cup Xsubseteq X 設 x displaystyle x 為傳遞集於是由 z  y  x displaystyle zin yin x 能推出 z  x   displaystyle zin x 這和偏序的傳遞性類似因此說 x displaystyle x 是傳遞集相當於說  x    displaystyle xin  是一個偏序集 在其它有基本元素的概念的集合論中傳遞性可以說成 如果 B displaystyle B 不是基本元素且 B  A displaystyle Bin A 則 B  A displaystyle Bsubseteq A 不包含基本元素的一个集合 A displaystyle A 是传递性的当且仅当 A  P  A  displaystyle Asubset mathcal PA