同型模型是两模型间的一种相似关系.指具有同一语言的模型。同型模型(models of the same type)两模型间的一种相似关系.指具有同一语言的模型.若模型韶一<A，{r}，}f}，}c})中的n元关系、m元函数及常元，能分别与模型0u'=CA'，(r'}，{f‘} ， c>中的n元关系、m元函数及常元建立1一1对应(对应的关系元数相同，对应的函数也元数相同)，则称au和ou‘是同型的模型.例如0dl = CQ一{0}，=，·，1)与2l'=CZ，=，+，0>是同型的模型.而Gel=CZ，+)与那‘一CR，+，·)不是同型的模型.