传递集合

傳遞集合、即在ZFZFC集合论中,一个集合(或)传递的,如果

或等價地,

或者

為傳遞集,於是由能推出這和偏序的傳遞性類似。因此,說是傳遞集相當於說是一個偏序集

在其它有基本元素的概念的集合論中,傳遞性可以說成

  • 如果不是基本元素,則

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

传递闭包

集合传递闭包是滿足的(在包含關係下)最小的传递集

為集合,则的传递闭包可以直觀地描述成:

传递类

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

序數

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

参见

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.