传递集合 Transitive set
(重定向自Transitive class)
传递集合、即在ZF或ZFC集合论中,一个集合(或类) X 是传递的,如果
或等价地,
或者
设 x 为传递集,于是由 z∈y∈x 能推出 z∈x --这和偏序的传递性类似。因此,说 x 是传递集相当于说 (x,∈) 是一个偏序集。
在其它有基本元素的概念的集合论中,传递性可以说成
不包含基本元素的一个集合 A 是传递性的,当且仅当 。
英汉网英语在线翻译词典收录了3779314条英语词汇在线翻译词条,基本涵盖了全部常用英语词汇的中英文双语翻译及用法,是英语学习的有利工具。