| 词条 | 同态 |
| 类别 | 中文百科知识 |
| 释义 | 同态模型论概念。设L为任一一阶语言，U=(A,⌝1〉和B=〈B,⌝2〉为它的两个模型。 定义在A上且在B中取值的函数h称为由U到B的同态，如果满足：(ⅰ)对于L中的任一n元关系符号r及任意元素a1，……，anεA，若1，……，an >ε⌝1(r)，则〈h(a1，……，h(an)〉ε⌝2(r)。 (ⅱ)对于L中的任一m元函数符号f及任意元素a1，……，amεA，有h(⌝1(f)(a1，……，h(a]))=⌝2(f)(h(a1，……，a#-[m]))。(ⅲ)对于L中的任一个体常项符号C，有⌝2(c)=h(⌝1(c))。 |
| 随便看 |
开放百科全书收录579518条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。