补充资料：全域

全域
universe

　　全域[uoiverse;y。”。epeyM」，亦称论域，底集【补注】一个在形式并、独体、子元素、幂集和取对之下封闭的集合U;更精确地说，即 l)，〔u，x，CU意味着口，。，x沂U; 2)x〔U意味着{x}6U; 3)义eX〔U意味着x〔U; 4)x6U意味着尹(X)任U; 5)(义，y)‘U当且仅x，y〔u.在公理集合论(a范omatic set tl〕即ry)中无限全域的存在性等价于强不可达基数的存在性(见基数(以川如alnunlber)).全域是Ze~10 .Fnlenkel集合论的模型.全域的概念是A .GrotllelldieCk在范畴(口tegory)论中引出的，目的是给出(U)范畴间函子的自然变换的“集合”，以便得到更“大”的范畴论构造.
　　

说明：补充资料仅用于学习参考，请勿用于其它任何用途。