同态指“同根”的词具有相同的状态。如:劈柴叫“斯”,也作“厮”、“厮”,瓮破称“㽄”,声音破裂叫“嘶”,流水称“凘”后来把东西扯裂叫“撕”。这些词都同根,都是由于它们破裂的状态一致而引申的。 同态模型论概念。设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))。 |