Google 翻译生成的粗略草稿，质量较低。术语依照术语表，但句子可能有误；之后会由仔细的译文取代。

指标术语

参考文献数表示章、截面以及序中的子部分（或习题）。 （R 指结果摘要。）

最大元素的伴随到有序集合 : III.1.7 伴随（集合至另一个之一）：R.5.4 同意集合 (函数) : II.3.5 协议（集合上的两个函数）：R.2.14 阿莱夫：III.6。前任。 10 先行词组合：I。应用程序。 4 反定向（订购集合）：III.1。前任。 23 应用另一个中一种理论的结果：I.2.4 论据：R.1.2 组装：I.1.1     先行词：I。应用程序。 4     平衡：I。应用程序。 4     第一（第二）类：I.1.3     完美平衡：I。应用程序。 4 关联等价关系 : II.6.2 结合性乘积结构的标准：IV.2.4     集合家庭的交：R.4.8     集族的积：R.4.11     并和交两个集合 ：R.1.14     集合家庭的并：R.4.3 自同构 : IV.1.5, R.8.6 辅助基集合 : IV.1.3,1.4     常数，方法：I.3.3     假设、方法共 : I.3.3 公理，明确：I.2.1     隐式：I.2.1     选择：R.4.10     范围：II.1.3     无穷大：III.6.1

有序对公理：II.2.1 集合子集 : II.5.1 集合两个元素 : II.1.5 等价公理：R.8.4 相同类的结构 ：R.8.2 结构种的公理：IV.1.4

平衡装配：I。应用程序。 4     字：I。应用程序。 2 展开的基，或系统的计数：III.5.7     集合音阶：R.8.1     集合（梯队构造）：IV.1.1     集合，辅助：IV.1.3、1.4     集合，本金：IV.1.3、1.4 双射的 : II.3.7, R.2.9 双射映射 : II.3.7, R.2.9 二项式系数：III.5.8 布尔格：III.1。前任。 17 号 有界，最大的较低和最低较高（集合或映射）：III.1.9，R.6.7     最低上位（枢机主教的集合）：III.3.2     下：III.1.8，R.6.7     严格上限：III.2.4     上：III.1.8，R.6.7 有界、上界、下界（集合或映射）：III.1.8、R.6.7 支链（顺序集合）：III.1。前任。 24

函数的规范分解：II.6.5，R.5.3 规范扩张、对应到集合（子集）：II.5.1     函数至乘积集合的家庭：II.5.7     共映射 : IV.1.2     两个函数至乘积集合 : II.3.9     签名：IV.2。前任。 1 典范嵌入 : II.3.7 典范映射，IV，应用程序。 4     E 的子集转换成 E : II.3.7, R.2.3     $A^{B\times C}$到$(A^B)^C$：II.5.2，R.4.14     $G$到$\overset{-1}{G}$（$G$图）：II.3.7     $F^E$到$\mathfrak{F}(E,F)$：II.5.2     $\mathfrak{F}(B\times C,A)$到$\mathfrak{F}(B,\mathfrak{F}(C,A))$：II.5.2     $\displaystyle\prod_{\iota\in\{\alpha\}} X_\iota$到$X_\alpha$：II.5.3     $\displaystyle\prod_{\iota\in\{\alpha,\beta\}} X_\iota$到$X_\alpha\times X_\beta$：II.5.3

$\prod_{\iota\in I} X_\iota$ 的典范映射到$\prod_{\lambda\in L}\left(\prod_{\iota\in J_\lambda} X_\iota\right)$：II.5.5，R.4.11

$\prod_{\iota\in I} X_\iota$ 到 $\left(\prod_{\iota\in J_\alpha} X_\iota\right)\times\left(\prod_{\iota\in J_\beta} X_\iota\right)$ (($J_\alpha,J_\beta$) 划分 $I$) : II.5.5

$\prod_{\iota\in\{\alpha,\beta,\gamma\}} X_\iota$ 到 $X_\alpha\times X_\beta\times X_\gamma$ : II.5.5

$\prod_{\iota\in I} X_\iota^E$到$\left(\prod_{\iota\in I} X_\iota\right)^E$：II.5.7，R.4.13

$E$到$E/R$：II.6.2，R.5.2

$A/R_A$到$f\langle A\rangle$：II.6.6，R.5.5

$(E/S)/(R/S)$到$E/R$：II.6.7，R.5.9

$(E\times E')/(R\times R')$到$(E/R)\times(E'/R')$：II.6.8，R.5.10

代入直极限的直极限，由指标集合的限制获得：III.7.6

$E_\beta$ 到 $\overrightarrow{\lim} E_\alpha$ : III.7.5, R.6.13

将逆极限转换为逆极限，由指标集合的限制获得： III.7.1

$\lim E_\alpha$ 到 $E_\beta$ : III.7.1, R.6.14

$\widetilde{E}\times F$到$F\times E$：R.3.4

$E\times F\times G$到$(E\times F)\times G$等：R.3.12

$F^A$到$\prod_{\iota\in I}F^{A_\iota}$（其中$A=\bigcup_{\iota\in I}A_\iota$和$A_\iota\cap A_\gamma=\varnothing$每当$\iota\ne\gamma$）：R.4.15

对称性：R.3.4

康托的定理：III.3.6

基数，主导：III.6.Ex.21 有限：III.4.1 无法访问：III.6.Ex.22 乘积 : III.3.3 常规：III.6.Ex.17 单数 : III.6.Ex.17 严重不可访问：III.6.Ex.22

集合枢机主教：III.3.1

枢机主教和 : III.3.3

有序集合中的元素链（相对于映射）：III.2.Ex.6

集合子集特征函数：III.5.5

刻画，典型：IV.1.4

选择，公理：R.4.9

类、等价：II.6.2、R.5.2 对象相当于$x$（相对于等价关系）：II.6.9

闭区间：III.1.13，R.6.4

闭包（有序集合的映射自身）：III.1.Ex.13

较粗等价关系 : II.6.7 预购：III.1.4 结构 : IV.2.2 二项式系数：III.5.8 共决赛子集：III.1.7，R.6.5 巧合（集合上的两个函数）：II.3.5，R.2.14 硬币首字母子集 : III.1.7, R.6.5 集合化关系 : II.1.4 交换律（并和交）：R.1.14 可比较元素 : III.1.12 结构 : IV.2.2 函数与两个等价关系的兼容性：II.6.5、R.5.8 关系与等价关系 : II.6.5, R.5.7 集合的补集：II.1.7，R.1.7 完整格子：III.1.Ex.11 完成解：I.5.2 完全分支（订购集合）：III.2.Ex.8 完成订单集合：III.1.Ex.15 合成，映射：R.2.11 集合：R.3.10 两个对应 : II.3.3 两个图：II.3.3 合取两个关系 : I.3.4 集合相对于关系的连通分量：II.6.Ex.10 常数，辅助：I.3.3 函数或映射 : II.3.4, R.2.3 理论：I.2.1 集合相对于关系的成分：II.6.Ex.11 构造，梯队：IV.1.1 形成：I.1.3 包含于集合：II.1.2，R.1.12 连续体假设：III.6.4 连续体，幂：III.6.4 自相矛盾的公理：R.8.6 理论：I.2.2 逆变签名梯队型 : IV.2.Ex.1 有序对的坐标（第一、第二）：II.2.1 坐标函数（第一、第二）：II.3.6 共指标 $i$ : II.5.3 坐标函数，在集族的积：R.4.11 在多个集合的乘积上：R.3.12 两个集合的积：R.3.1 推论：I.2.2 对应，两个集合之间：II.3.1

对应定义在对象 $x$ : II.3.1     由关系定义：II.3.1     逆：II.3.2     一对一：II.3.7，R.2.9 对应，合成：II.3.3 可数集合 : III.6.4, R.7.7 可数并、交、乘积：R.7.9 协变签名梯队型 : IV.2.Ex.1 覆盖范围：II.4.6，R.4.4     更细 : II.4.6     集合 : II.4.6 标准，演绎：I.2.2     形成：I.1.4     演绎 : I.3.3     代换 : I.1.2 关键序数：III.6.Ex.13

体面集合 : III.2.Ex.20 十进制系统 : III.5.7 分解，规范：II.6.5，R.5.3 递减子集家族：III.1.5，R.6.12 递减映射 : III.1.5，R.6.12 推导（结构）：IV.1.6 演绎，标准：I.3.3     程序：IV.1.6 演绎标准：I.2.2 定义 : I.1.1 覆盖物不相交的次数：III.6.Ex.25 说明文字：I.2.2 降序归纳 : III.4.3 对角的，$A \times A$：II.3.3，R.3.4     $E^I$ : II.5.3 对角线映射，$A$到$A \times A$：II.3.7，R.3.4     $E$ 变为 $E^I$ : II.5.3 图表：R.2.2 两个整数之差：III.5.2 不同于：I.5.1 数字 : III.5.7 直接像 / 结构 : IV.2.6 直极限、直接系统、映射：III.7.6、R.6.13     直接系统集合 : III.7.5, R.6.13 直接系统，映射：III.7.6，R.6.13     集合 : III.7.5, R.6.13     共子集 : III.7.6

定向（左、右）：III.1.10、R.6.8  关于关系 $\leq$ : III.1.10 不相交的段：I.App.1  集合：II.4.7，R.1.13 分离，案例，方法：I.3.3  两个关系 : I.1.3 分配格：III.1.Ex.16 分配律、并和集合家庭的交：R.4.3、4.8  并和交两个集合 ：R.1.14 发散映射 （序数自身）：III.6.Ex.23 可被整数整除：III.5.6 分区，欧氏：III.5.6  共整数 : III.5.6 域，对应：II.3.1  图的：II.3.1 主基数：III.6.Ex.21 双家庭：II.3.4 双序列 : III.6.1，R.7.8 双公式：R.1.15、R.4.7 对偶规则：R.1.15、R.4.7 二元系统 : III.5.7

梯队、梯队构造、梯队构造概形 : IV.1.1  签名：IV.2.Ex.1  型 : IV.1.Ex.1 元素 : II.1.1  固定（在映射或集合下映射）：R.2.3  通用：R.1.2  最大的 : III.1.3, R.6.5  不变量（在映射或集合或映射下）：R.2.3  至少：III.1.3，R.6.5  极大：III.1.6，R.6.6  最小：III.1.6，R.6.6 元素，可比：III.1.12 空函数 : II.3.4 空集 : II.1.7, R.1.8 空字：I.App.1 赋予结构：IV.1.4 区间端点：III.1.13，R.6.4 等于：I.5.1 平等的理论：I.5.1 等式、关系：I.5.1、R.1.6 方程：I.5.2 等电位集合 : III.3.1, R.7.1

等价，集合：II.6.1 等价类 : II.6.2, R.5.2 等价关系 : II.6.1, R.5.2   与函数相关：II.6.2   较粗：II.6.7   更细 : II.6.7   诱发：II.6.6   在集合：II.6.1   乘积 : II.6.8   商：II.6.7 等效公理：R.8.4 相当于元素 : II.6.1 相当于幂：R.7.2 等效关系：I.3.5，R.1.3 等价种 / 结构 : IV.1.7 等效理论：I.2.4 欧几里得除法 : III.5.6 偶数整数 : III.5.6 存在量词：I.4.1 展开共整数至基 $b$ : III.5.7 显式公理：I.2.1 幂运算：R.4.9 扩张，规范：IV.1.2   逆（映射到集合子集）：R.2.6   对应或映射至集合子集 : II.5.1, R.2.4   函数至乘积集合的家庭：II.5.7   映射：II.3.5，R.2.13   订购，序关系，预订，预序关系：III.1.4，R.6.1   多个映射至乘积集合 ：R.3.14   两个函数至乘积集合 : II.3.9 范围，公理：II.1.3

因子, 整数 : III.5.6   乘积 ： II.2.2 和 II.5.3 因子、乘积集合：R.3.1、4.9 阶乘 $n$ : III.5.8 因式分解，规范：R.5.3   映射：R.2.11 错误关系：I.2.2 家庭：II.3.4   双 : II.3.4   有限：III.4.1   元素集合 : II.3.4, R.2.14   相互不相交的集合 : II.4.7

子集、递减 (递增) 的家人：III.1.5     子集集合 : II.3.4 最终特征标（全序集）：III.6.Ex.16 字的最后一段：I.App.1 最终结构：IV.2.5 更细覆盖：II.4.6 更细预购 : III.1.4 更细关系 : II.6.7 更细结构 : IV.2.2 有限基数：III.4.1 有限特征标（性质、子集集合）：III.4.5、R.6.11 有限族：III.4.1 有限序列、集合元素有限序列：III.5.4、R.7.8 有限集合 : IV.4.1 有序对的第一个坐标：II.2.1 图的第一个投影：II.3.1 第一类：I.1.3 第一个项/序列：III.5.4 固定元素：II.3.4，R.2.3 形成构造：I.1.3     标准：I.1.4 订购的集合免费子集 : III.1.1.Ex.5 函数：参见映射     特性：III.5.5     坐标：II.3.6，II.5.3     在 A 上定义，B 中为值：II.3.4     不依赖于 x : II.3.9     多个变量：R.3.13     两个参数：II.3.9 函数图：II.3.4 功能关系：I.5.3，R.2.1 功能符号：I.5.3

一般解 : I.5.2 一般项（序列）：R.7.8 广义连续统假设 : III.6.4 通用元素（集合）：R.1.2 通用结构：IV.1.4 图：II.3.1     功能性：II.3.4     逆：II.3.2     共对应 : II.3.1     映射：R.3.5     关系 : II.3.1, R.3.2

图对称：II.3.2 图表，合成：II.3.3 更大：III.1.3，R.6.3 有序集合的最大元素：III.1.7，R.6.5 下确界：III.1.9，R.6.7

半开区间：III.1.1.13、R.6.4 假设，辅助：I.3.3  连续体：III.6.4  广义连续统：III.6.4  电感：III.2.2、III.4.3

标识：R.8.5 身份：R.1.3 身份对应：II.3.3 恒等映射：II.3.4，R.2.3 像，直达（结构）：IV.2.6  逆（集合下映射）：R.2.6  逆（结构）：IV.2.4  覆盖物数量：II.4.6  等价关系 : II.6.6  函数（滥用语言）：R.2.4  集合 : II.3.2  对应下的集合：II.3.1  函数下的集合：II.3.4，R.2.4  图表下的集合：II.3.1 隐式公理：I.2.1 暗示：R.1.3 无法接近的红衣主教：III.6.Ex.22 无法访问的初始序数：III.6.Ex.16 包含关系：II.1.2、III.1.1、R.1.2 不一致的公理：R.8.6 递增子集家族：III.1.5，R.6.12 递增映射 : III.1.5，R.6.12 不可分解序数 : III.2.Ex.16 独立于（其他公理）：I.2.Ex.1 家庭的指标集合：II.3.4，R.2.2 索引记号 ：R.2.2 诱导等价关系：R.5.5 感应映射 : II.6.5 诱导排序，序关系，预排序，预序关系：III.1.4，R.6.1 诱发关系 : II.6.3 感应结构 : IV.2.4

归纳，降序：III.4.3 诺特 : III.6.5 原理：III.2.2、III.4.3 限制：III.4.3 从 k 开始：III.4.3 超限：III.2.2 电感假设 : III.2.2, III.4.3 归纳集合 : III.2.4, R.6.9 下确界：III.1.9，R.6.7 无限序列：III.6.1，R.7.8 无限集合 : III.6.1 无穷大，公理：III.6.1 初始序数 : III.6.Ex.10 字的初始段：I.App.1 初始结构：IV.2.3 单射的 : II.3.7, R.2.8 规范：II.3.7 单射映射 : II.3.7, R.2.8 整数，自然：III.4.1 两个整数的商的积分部分 : III.5.6 相交子集：R.1.13 交，可数：R.7.9 集合或子集的家庭：II.4.1，R.4.6 集合集合 : II.4.1 几个集合：R.1.13 间隔（闭、半开、开、无界）：III.1.13、R.6.4 不及物：II.6.Ex.11 内在项：IV.1.6 不变式元素：R.2.3 映射的逆扩张：R.2.6 (双射的) 映射的逆：II.3.7, R.2.9 共对应 : II.3.2 图的：II.3.2 逆像：R.2.6 覆盖物数量：II.4.6 共等价关系 : II.6.6 共集合 : II.3.2 共结构 : IV.2.4 逆同构 : IV.1.5 逆极限，映射家庭：III.7.2，R.6.14 集合家庭：III.7.1，R.6.14 逆系，映射：III.7.2，R.6.14 集合 : III.7.1, R.6.14 共子集 : III.7.2

对合置换 : II.3.7, R.2.9 不可约元（格子）：III.4.Ex.7 同构集合 : IV.1.5 结构 : IV.1.5, R.8.6 同构的 : IV.1.5, R.8.6 共有序集 : III.1.3 映射的迭代：III.6.2，R.2.11

大于：III.1.3 最后项有限序列 : III.5.4 格子：III.1.11，R.6.8 布尔值：III.1.Ex.17 完整：III.1.Ex.11 分配性：III.1.Ex.16 相对补充：III.1.Ex.17 有序集合的至少元素 ：III.1.7，R.6.5 至少上界：III.1.9，R.6.7 红衣主教家族：III.3.2 左有向集合：III.1.10，R.6.8 区间的左端点：III.1.13 左逆（单射的）：II.3.8 合法化，定理：I.3.3 引理 : I.2.2 佐恩的：III.2.4，R.6.10 长度, 有限序列 : III.5.4 共字 : I.App.1 小于：III.1.3，R.6.3 词典序关系，排序：III.2.6 乘积 : III.2.6 和 III.2.Ex.10 极限，直达：III.7.5，R.6.13 逆：III.7.1，R.6.14 线性排序：*参见完全排序* 链接：I.1.1 关系的逻辑组件：I.App.Ex.6 逻辑构造：I.App.Ex.6 逻辑符号：I.1.1 逻辑理论：I.3.1 逻辑构造：I.App.Ex.6 逻辑上不可约：I.App.Ex.6 下界：III.1.8，R.6.7 最大的：III.1.9，R.6.7

映射：R.2.1 双射的 : II.3.7, R.2.9 有界于上（有界于下，有界） : III.1.8, R.6.7 兼容等价关系 : II.6.5 兼容两个等价关系：R.5.8 复合材料：II.3.7，R.2.11 常数：II.3.4，R.2.3 递减：III.1.5，R.6.12 对角的：II.3.7、II.5.3、R.3.4 空：II.3.4 身份：II.3.4，R.2.3 递增：III.1.5，R.6.12 单射的 : II.3.7, R.2.8 逆：II.3.7，R.2.9 单调：III.1.5 集合变为集合 : II.3.4 集合到集合：II.3.7 一对一：II.3.7，R.2.9 保序：III.1.5 反转顺序：III.1.5 部分：II.3.9，R.3.13 严格递减（严格递增的，严格单调）：III.1.5，R.6.12 满射 : II.3.7, R.2.4 通用：IV.3.1 映射，同意集合：II.3.5 规范：参见规范 数学理论：I.1.1、I.2.1、I.2.2 极大元素：II.1.6，R.6.7 最大：R.6.5 会员资格，关系：II.1.1，R.1.10 方法，案例分离：I.3.3 反证法：I.3.3 辅助常数：I.3.3 辅助假设：I.3.3 最小元素：III.1.6，R.6.6 最低：R.6.5 手机（集合 / 有限子集）：III.4.Ex.11 理论模型：I.2.4 单调映射 : III.1.5 态射：IV.2.1 倍数 / 整数 : III.5.6 倍数序列：III.6.1 多价理论：R.8.7 相互不相交的（集合家族）：II.4.7 自然整数：III.4.1

关系的否定：I.1.3 诺特归纳、原理共：III.6.5 诺特集合 : III.6.5 映射的第 $n$ 次迭代：III.6.2，R.2.11 序列中的$n$第项：III.6.1，R.7.8 有限集合的元素的数 : III.4.1 数字符号：III.5.7 计数，系统：III.5.7

奇数整数 : III.5.6 一对一对应、映射：II.3.7、R.2.9 开区间：III.1.13，R.6.4 序关系、预序关系对面：III.1.1、III.1.2、R.6.1 有序对 : II.2.1 保序映射 : III.1.5 序关系，与预序关系相关：   在$x$和$y$之间，相对于$x$和$y$：III.1.1   于集合引发：III.1.4   字典顺序：III.2.6   在集合：III.1.1，R.6.1   与序关系相反：III.1.1 反转顺序映射 : III.1.5 顺序结构：R.6.1   总计 : III.1.12 序型 : III.2.Ex.13 订购集合：III.1.3，R.6.1   反定向：III.1.Ex.23   支链：III.1.Ex.24   完全分支：III.2.Ex.8   部分良序：III.2.Ex.4   分支：III.2.Ex.8   分散：III.1.Ex.20   无间隙：III.1.Ex.19 订购：III.1.1、R.6.1   诱发：III.1.4   字典顺序：III.2.6   乘积 : III.1.4   总计 : III.1.12 序数 : III.2.Ex.14   关键：III.6.Ex.13   功能符号：III.2.Ex.17   无法访问首字母：III.6.Ex.16   不可分解：III.2.Ex.16 序数、首字母 : III.6.Ex.10

序数乘积（序型）：III.2.Ex.13 常规：III.6.Ex.16 单数 : III.6.Ex.16 序数和，由有序集合索引的非空有序集系列：III.1.Ex.3 （序型）：III.2.Ex.13

对，订购：II.2.1 成对不相交的（子集家族）：R.4.4 参数、参数集合、参数表示：II.3.7、R.2.14 部分映射 : II.3.9, R.3.13 部分乘积 : II.5.4 部分良序（有序集合）：III.2.Ex.1 划分 / 集合 : II.4.7, R.4.4 前往商集：II.6.3、II.6.5、R.5.7、R5.8 完美平衡的装配：I.App.4 置换 : II.3.7, R.2.9 较差 (结构种) : IV.1.6 幂，集合：III.3.1，R.7.2 连续体：III.6.4 幂，相当于：R.7.2 和：R.7.5 前任（序数）：III.2.Ex.14 预序关系 : III.1.2，R.6.1 在集合：III.1.2 与预序关系相反：III.1.2 已预订集合：R.6.1 预购：III.1.2 （较粗，更细）：III.1.4 本金基集合 : IV.1.3, 1.4 原理 / 归纳 : III.4.3 共诺特归纳 : III.6.5 共超限归纳 : III.2.2 结构的演绎的程序：IV.1.6 乘积枢机主教：III.3.3 乘积，词典：III.2.6 映射家庭的乘积：II.5.7 集合家庭：II.5.3，R.4.9 红衣主教数量：III.3.3 序关系，订购，预序关系，预购：III.1.4 共有序集，已预订集合：III.1.4 几个集合：R.3.12 两个覆盖物：II.4.6 两个等价关系：II.6.8，R.5.10

两个集合的积 : II.2.2, R.3.1 乘积序数 : III.2.Ex.13 乘积结构、乘积 / 结构 : IV.2.4 乘积部分 : II.5.4 投影，图的（第一，第二）：II.3.1     有序对的（第一、第二）：II.2.1     到因子：II.5.3     到部分乘积：II.5.4 投影：R.3.1、R.3.12、R.4.11 证明 : I.2.2 正确的部分：I.App.1 有限特征标的性质 : III.4.5 命题 : I.2.2 伪序数 : III.2.Ex.20

量化理论：I.4.2 量词，存在：I.4.1     典型：I.4.4     通用：I.4.1 商等价关系 : II.6.7, R.5.9 预序关系或预购集合除以等价关系的商：III.1.Ex.2 两个整数的商：III.5.6 商集 : II.6.2, R.5.2 商结构 : IV.2.6

分支（订购集合）：III.2.Ex.8 范围，对应：II.3.1     图的：II.3.1 梯队型的实现：IV.1.Ex.1     签名梯队型 : IV.2.Ex.1 归谬法，方法：I.3.3 覆盖层精化：II.4.6 自反关系于集合 ：II.6.1，R.5.1 常规基数：III.6.Ex.17 常规序数：IV.6.Ex.16 关系 : I.1.3     $A$ 的元素和 $B$ 的元素之间：II.3.1     集合化 : II.1.4     兼容等价关系：II.6.3、R.5.7     兼容两个等价关系 : II.6.8     等价 : II.6.1, R.5.2     假：I.2.2     功能：I.5.3，R.2.1

关系，有图：II.3.1 由等价关系对经过引出商：II.6.3 等式 : I.5.1, R.1.6 包含 : II.1.2, III.1.1, R.1.12 会员数量：II.1.1，R.1.10 序：III.1.1，R.6.1 预序：III.1.2，R.6.1 自反：II.6.1，R.5.1 单值：I.5.3 对称：II.6.1，R.3.4 总计序 : II.1.12 及物 : II.6.1, R.5.1 可运输：IV.1.3 正确：I.2.2 良好排序：III.2.1 $\leq$（分别为$\geq$、$\subset$、$\supset$）：III.1.3 关系，等价：I.3.5，R.1.3 关系符号：I.1.3 相对补（格子中元素）：III.1.Ex.17 相对补格：III.1.Ex.17 余数（$a$除以$b$）：III.5.6 表示，参数：II.3.7，R.2.14 等价类代表：II.6.2 代表元，系统：II.6.2 受限归纳 : III.4.3 限制, 直接系统 : III.7.6 函数：II.3.5，R.2.13 共逆系 : III.7.1 收回单射：II.3.8 更丰富结构：R.8.3 右有向集合：III.1.10，R.6.8 区间的右侧端点：III.1.13 （满射）右逆：II.3.8

饱和集合：R.5.6 集合相对于等价关系的饱和度：R.5.6 集合比例：R.8.1 分散（订购集合）：III.1.Ex.20 概形 : I.2.1 梯队构造 : IV.1.1 选择和并 : II.1.6 有序对的第二个坐标：II.2.1 投影 : II.3.1 类 : I.1.3

截面，对应：II.3.1 图的：II.3.1 集合（相对于等价关系）：II.6.2 子集乘积 ：R.3.7 满射：II.3.8 最终片段：I.App.1     初始：I.App.1     共字 : I.App.1     装配体：I.App.4     正确：I.App.1     端点$x$：III.2.1 段，不相交的：I.App.1 选择和并、概形 ： II.1.6 分离（元素 $E$ $\alpha$-映射）：IV.3.3 序列：R.7.8     双：R.7.8     有限：III.5.4，R.7.8     无限：III.6.1，R.7.8     通过对由映射定义的序中的可数族进行排序而获得：III.6.1     元素集合 : III.6.1     重要：I.App.2     固定：III.6.5     三重，倍数：III.6.1 序列仅在项中的序有所不同：III.6.1、R.7.8 集合 : II.1.1     基 : IV.1.3, 1.4     有界、上界、下界：III.1.8、R.6.7     单个元素的由……组成：II.1.5     可数：III.6.4，R.7.7     体面：III.2.Ex.20     导演：III.1.10，R.6.8     空：II.1.7，R.1.8     赋予结构 : IV.1.4     等效于另一个集合 ：R.7.1     有限：III.4.1     指标（家庭）：II.3.4     电感：III.2.4，R.6.9     无限：III.6.1     左向：III.1.10，R.6.8     诺特 : III.6.5     所有 $x\in A$ 使得 $P$ : II.1.6     所有$x$使得$R$（$R$关系集合化在$x$）：II.1.4     红衣主教 $\leq \alpha$ : III.3.2

集合 / 等价对象类 : II.5.9 一个家庭的元素：II.3.4，R.2.14 将 E 的映射转换为 F：II.5.2，R.2.2 共 $n$ 元素 ($n$ 整数) : III.4.1 对象形式 $T$ $x \in A$ : II.1.6 参数表示的参数个数：II.3.7 $\sigma$态射 : IV.2.1 子集集合 : II.5.1, R.1.10 子集，有限特征标：III.4.5 订购：III.1.3，R.6.1 预购：III.1.3、R.6.1 乘积：R.3.1、R.3.12、R.4.9 商：II.6.2，R.5.2 代表元（关系）：II.3.1 右向：III.1.10，R.6.8 完全有序：III.1.12，R.6.4 及物 : III.2.Ex.20 通用：IV.3.1 有序：III.2.1，R.6.5 其唯一的元素是 $x$ : II.1.5 集合、合成：R.3.10 不相交的 : II.4.7 等电势：III.3.1 同构的：IV.1.5 理论：II.1.1 $\Sigma$-允许：IV.3.2 $\sigma$态射：IV.2.1 符号：I.1.1、I.App.1 逻辑：I.1.1 有理数：I.1.3 具体：I.1.1 实质性：I.1.3 签名规范扩张 : IV.2.Ex.1 签名梯队型 : IV.2.Ex.1 重要序列，字：I.App.2 单值关系 : I.5.3 单数基数 : III.6.Ex.17 单数序数 : III.6.Ex.16 小于：IV.1.3 解（方程）：I.2.2 完整（或一般）：I.5.2 共普遍映射问题 : IV.3.1 对应来源：II.3.1 类，相当于：IV.1.7

代数结构 的类 : IV.1.4  共序结构 : IV.1.4  结构：IV.1.4，R.8.2  拓扑结构：IV.1.4  较穷（较富）：IV.1.6 具体标志 : I.1.1 稳定子集：R.2.5 固定序列：III.6.5 严格上界 : III.2.4 严格粗糙 (更细) 结构 : IV.2.2 严格递减 (递增) : III.1.5, R 6.12 严格大于（小于）：III.1.3、R.6.3、R.7.3 更强的理论：I.2.4 非常难以接近的红衣主教：III.6.Ex.22 结构，较粗糙：IV.2.2  推导：IV.1.6  最终：IV.2.5  更细 : IV.2.2  通用：IV.1.4  诱发：IV.2.4  初始：IV.2.3  集合：IV.1.4，R.8.2  共类 $\Sigma$ : IV.1.4  序：R.6.i  乘积 : IV.2.4  商：IV.2.6  更丰富：R.8.2  严格更粗糙 (更细) : IV.2.2  下属：IV.1.6  迁移：R.8.5  基础：IV.1.6 结构，可比：IV.2.2  同构的：IV.1.5，R.8.6 亚科：II.3.5，R.2.14 亚晶格：III.4.Ex.9 下属结构：IV.1.6 子序列（序列）：III.6.1，R.8.7 子集，共同最终：III.1.7，R.6.5  共同首字母：III.1.7，R.6.5  单独*a*的由……组成：R.1.9  空：R.1.8  集合：II.2.1，R.1.7  饱和（相对于等价关系）：II.6.4  对称：R.3.4

子集、不相交的：R.1.13 集合于：II.5.1，R.1.10 稳定：R.2.5 实质符号：I.1.3 代换，标准：I.1.2 和，枢机：III.3.3 集合家庭：II.4.8 红衣主教数量：III.3.3 幂：R.7.5 集合：R.4.5 序数 : III.2.Ex.13 最高值：III.1.9，R.6.7 投影：II.3.7，R.2.4 满射映射 : II.3.7, R.2.4 符号，功能：I.5.3 数值：III.5.7 对称图：II.2.3 关系或子集 : II.6.1，R.3.4 对称性，规范：R.3.4 系统，十进制：III.5.7 直达：III.7.5，R.6.13 二元：III.5.7 逆：III.7.1，R.6.14 计数系统 : III.5.7 代表系统 : II.6.2

对应目标：II.3.1 项 : I.1.3 一般：R.7.8 有限序列的（第一个、第 k 个、最后一个）：III.5.4 内在：IV.1.6 第 n 次：R.7.8 满足关系 : I.2.2 可以放入形式 $\mathscr{T} : \mathrm{I.5.2}$ 指示文本：I.2.2 定理 : I.2.2 康托尔：III.3.6 合法性：I.3.3 策梅洛：III.2.3，R.6.5 理论，等效：I.2.4 理论：I.1.1、I.2.1、I.2.2 矛盾：I.2.2 平等的 : I.5.1 逻辑：I.3.1

理论多价：R.8.7     共结构种 : IV.1.4     共集合 : II.1.1     给定类的结构 ：R.8.2     量化：I.4.2     更强：I.2.4     单价：R.8.7 总计序关系，总订购量：III.1.12 全序集 : III.1.12，R.6.4 集合一家人的踪迹：II.4.5     子集，或集合，子集：R.1.16 元素的变换 by 函数：II.3.4，R.2.4 及物关系 : II.6.1, R.5.1 及物集合 : III.2.Ex.20 传递性判据 : IV.2.3, 2.5 迁移 / 结构：R.8.5 可运输关系 : IV.1.3 运输结构：IV.1.5 横向：II.6.2 三重：II.2.2 三重序列 : III.6.1 真实关系：I.2.2 结构种的典型刻画：IV.1.4 典型量词：I.4.4 类型：IV.1.3

无界区间：III.1.13，R.6.4 底层证券结构 : IV.1.6 并，可数：R.7.9     集合的家庭：R.4.2     集合集合 : II.4.1     几个集合：R.1.13 单价结构种 : IV.1.5 一价理论：R.8.7 普遍映射 : IV.3.1 通用问题：IV.3.1 全称量词：I.4.1 通用集合：IV.3.1 上界 : III.1.8, R.6.7     至少：III.1.9，R.6.7     严格：III.2.4

值, 函数 : II.3.4     函数元素 ：R.2.1

值，变量：R.1.2 拍摄者：对应：II.3.1 变量：R.1.2 装配差异：IV.2.Ex.1

弱兼容性（等价关系与预序关系）： III.1.Ex.2 符号的权 : I.1.3, I.App.1 良序集 : III.2.1, R.6.5 秩序良好，秩序良好关系 : III.2.1 无间隙（订购集合）：III.1.Ex.19 字 : I.App.1 平衡：I.App.3 空：I.App.1 重要：I.App.2

策梅洛公理（= 选择公理）：R.4.9 策梅洛的定理：III.2.3，R.6.5 佐恩的引理：III.2.4，R.6.10