Computable isomorphism

In computability theory two sets ${\displaystyle A;B\subseteq \mathbb {N} }$ of natural numbers are computably isomorphic or recursively isomorphic if there exists a total bijective computable function ${\displaystyle f\colon \mathbb {N} \to \mathbb {N} }$ with ${\displaystyle f(A)=B}$. By the Myhill isomorphism theorem, the relation of computable isomorphism coincides with the relation of one-one reduction.

...
Wikipedia