ThmDex – An index of mathematical definitions, results, and conjectures.

Result R5077 on D467: Injective map

Injection from the natural number plane to the set of natural numbers

Formulation 0

Let $f : \mathbb{N} \times \mathbb{N} \to \mathbb{N}$ be a D4949: Natural number function such that

(i)	\begin{equation} f(n, m) = 2^n 3^m \end{equation}