遞歸同構(recursively isomorphism)自然數集在遞歸置換意義下的等價關係.對自然數集A,B，若存在遞歸置換P，使得P<A)=B，則稱A,B遞歸同構，在遞歸論中一般記為A三B.由等價關係“二”導出的(自然數集的)等價類稱為遞歸同構型.根據曼希爾(Myhill, J.)的結論，遞歸同構實際上與1等價的概念是等價的(參見“曼希爾同構定理”).
