传递集合

在集合论中，一个集合(或类) A 是传递性的，如果

• 只要 x ∈ A，并且 y ∈ x，则 y ∈ A，或等价的说
• 只要 x ∈ A, 并且 x 不是基本元素，则 x 是 A 的子集。

集合 A 的传递闭包是包含 A 的最小的(关于包含)传递集合 B。假定给出一个集合 X，则 X 的传递闭包是:

。

传递类经常用于构造集合论自身的释义，通常叫做内部模型。原因是有界公式所定义的性质对于传递类是绝对的。

序数可以被定义为成员也是传递性的传递集合。

一个集合 X 是传递性的，当且仅当 。

不包含基本元素的一个集合 X 是传递性的，当且仅当 。

[编辑] 参见

• 并集
• 幂集

这是一个与数学相关的小作品，您可以帮助维库扩充其内容。