按作者与版本查阅
以下按已登记位置排列。出现顺序、原文引用与已登记依赖分别展示;最早位置不代表全书首次定义。
Szekeres · source-snapshot-bc3404156f6e
已登记出处中的最早位置:§1.4 · zh-CN。
来源短摘录与定位
§1.4 · zh-CN · translation · unreviewed
对 ,映射的限制(restriction) 满足 。恒等映射的限制给出包含映射(inclusion mapping) ,于是
以下按已登记位置排列。出现顺序、原文引用与已登记依赖分别展示;最早位置不代表全书首次定义。
已登记出处中的最早位置:§1.4 · zh-CN。
§1.4 · zh-CN · translation · unreviewed
对 ,映射的限制(restriction) 满足 。恒等映射的限制给出包含映射(inclusion mapping) ,于是