描述
模型同構(isomorphism of models)模型論術語.指兩模型間的一種等價關係.語言丫中的模型}l=CA，{r}，}f}，{:})和.}= CB,{、}，fig}，{d})同構(記為甜蘭男)，若且唯若存在一個雙射h:A->B滿足:
1.對g中每一n元關係符號R，設它在}}l及男中的解釋各為r及、，則對A中每一n元組(指n元序列，序列中可以有重複的元)a},a},... pan，都有r<a‑a2, """,a‑)為真，若且唯若、<h<a}),h<aZ),...h<a‑))為真.
2.對獷中每一m元函式符號F，設它在o}及居中的解釋各為f及g，則對A中每一m元組a},a2，…,a‑，都有
3.對牙’中的每一常元符號C，設它在哪及務中的解釋各為。及d，則有h<c)=d.稱h為由a}到另上的一個同構映射，記為h:}Zl-oJ-}.例如c} _(R+,·),:}=(R，十>，其中R為實數集，R+為正實數集.對任何aER+，令h<a)=1gaER，則對任何a,bER+都有
