传递集合、即在ZF或ZFC集合论中，一个集合(或类)formula_1是传递的，如果 或等价地，或者设formula_5为传递集，于是由formula_6能推出formula_7这和偏序的传递性类似。因此，说formula_5是传递集相当于说formula_9是一个偏序集。在其它有基本元素的概念的集合论中，传递性可以说成不包含基本元素的一个集合formula_13是传递性的，当且仅当 formula_14。
传递闭包.集合formula_13的传递闭包是满