Proof:Cardinality of the integers

From CS2800 wiki
[math]│\href{/cs2800/wiki/index.php/%E2%84%A4}{ℤ}│ \href{/cs2800/wiki/index.php/Equality_(cardinality)}{=} │\href{/cs2800/wiki/index.php/%E2%84%95}{ℕ}│ [/math]
Proof: cardinality of the integers
The following image clearly defines a bijection:

Z-is-countable.svg

Details are left as an exercise.