Proof:│ℕ ∪ -1│ = │ℕ│

Proof:
Let be given by .

To see that is injective, choose arbitrary in and assume . Then so as required.

To see that is surjective, choose an arbitrary . Let . Since we have so . Moreover, as required.