How can I find an injective function from $h ∈ (\mathbb N → {0, 1}) → A$. $A = \{f : N → Z|∀n, m ∈ N.(n > m) → (f(n) < f (m))\}$?
I was trying to define it as follows:
$h=-n-f(n)$, but I know that doesn't work since it only maintains $f(n) \leq f (m)$ but not $f(n) < f (m)$.
Would love to hear your thoughts.