在集合论中，一个集合(或类) A 是传递性的，如果
- 只要 x ∈ A，并且 y ∈ x，则 y ∈ A，或等价的说
- 只要 x ∈ A, 并且 x 不是基本元素，则 x 是 A 的子集。
集合 A 的传递闭包是包含 A 的最小的(关于包含)传递集合 B。假定给出一个集合 X，则 X 的传递闭包是:
。
传递类经常用于构造集合论自身的释义，通常叫做内部模型。原因是有界公式所定义的性质对于传递类是绝对的。
序数可以被定义为成员也是传递性的传递集合。
一个集合 X 是传递性的，当且仅当 
。
不包含基本元素的一个集合 X 是传递性的，当且仅当 
。
[编辑] 参见
