按作者与版本查阅

以下按已登记位置排列。出现顺序、原文引用与已登记依赖分别展示;最早位置不代表全书首次定义。

Szekeres · source-snapshot-bc3404156f6e

已登记出处中的最早位置:§13.6 · zh-CN。

位置语言登记角色
§13.6zh-CN · 英文上下文术语出现
§13.6en · 中文上下文术语出现
来源短摘录与定位

§13.6 · zh-CN · translation · unreviewed

如果两个算符和满足 和 ,我们定义 是 的一个延拓(extension),写成 。 中的两个运算符 和 称为相等,当且仅当它们是彼此的延拓。这时它们的定义域相等,,而且对于全体 有 。

§13.6 · en · original_transcription · unreviewed

We say is an extension of , written and . Two operators and in are called equal if and only if they are extensions of each other – their domains are equal, and for all

来源覆盖、定位与记录

索引保留所有已登记出处,不受模型材料包八小节限额影响。中英上下文按已登记的书、版次与小节配对,不冒充另一语言的概念定义。没有穷尽全书未标记的术语;程序校验不提升原著或译文审阅资格。

登记位置 2;当前可定位出现 2。

永久身份:urn:uuid:710d8b62-86d3-409e-854a-dd35ef06584b。

身份历史 · 结构化来源索引