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