模型同構嵌入

模型同構嵌入(isomorphic embedding of mo -dell)一種特殊的子模型關係.設ail , .}是丫的兩個模型，如果存在一個從o}到居的一個子模型y'的同構映射h，即h : }}u-}，且省里留，則稱模型召了可以同構嵌人留中，此時也稱男是那的一個同構擴張.例如，令oil=(N，十，0),}= (N, " ,1)，其中N為自然數集.取映射h,n-}2" <n=0,1,2, W，並令C= {2",n一0,1,...}cN}}=(C,.，1)，則有h:}}-，所以召了可以同構嵌人男中.