网站首页 百科知识
模型论概念。 设U=〈A,⌝1〉和B=〈B⌝2〉为一个一阶语言L的两个模型。定义在A上且在B中取值的函数g称为由U到B的同构，如果满足：(ⅰ)g是一个一一满射；(ⅱ)g是由U到B的同态。如果存在这样的同构函数g,U和B称为是同构的。参见“同态”。
开放百科全书收录579518条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。