自然数集在递归同构关系下的等价类。
设A、B是自然数集，如果存在从N到N的递归的一一对应f，使
f［A］=B，
则称A、B递归同构，记作
A≡B．
显然≡是一等价关系(自反、对称、传递)。
自然数集在≡关系之下的等价类称为递归同构型。麦希尔(Myhill)证明，递归同构型与1-度是一回事：
A≡B当且仅当A≡B．