1. 概述
选定相应的 集合论 作基础, 小集 与 大集 皆是非形式定义的概念, 但通常小集与 集合 同义, 而大集则与 类 > ^e98239 同义. 而 “小”, “大” 这些字眼一般都是用作与 类 > ^e98239 比较时才会提及, 因为真类是指那些比集合要大得多的 “容器”.
2. Grothendieck 宇宙下的情况
特别地, 当我们选定 Tarski-Grothendieck 集合论 作为基础时, 小, 大集被赋予了更精准的 定义, 即
3. 相关概念
4. 术语翻译
| 中文 | 英文 |
|---|---|
| 小集 | small set |
| 大集 | large set |