累積的階層
ウィキペディア フリーな encyclopedia
数学、特に集合論において、累積的階層(るいせきてきかいそう、Cumulative hierarchy)とは順序数 で添え字づけられた集合 の族で、以下を満たすものを指す。
- が極限順序数のとき、
場合によって、 であることや、 であることを条件に入れることもある。[要出典]
累積的階層をなしている の和はしばしば集合論のモデルになる。[要出典]
単純に"累積的階層"と言った場合、フォン・ノイマン宇宙の累積的階層 を指すことが多い。これは で定めるものであり Zermelo (1930) で導入された。