Go backward to Countable Sets
Go up to Top
Go forward to Example
Z is infinite but it is countable because we can define
f: N ->bijective Z f(x) := if x is even then -x/2 else (x+1)/2
f = [0, 1, -1, 2, -2, 3, -3, ...].
While Z is infinite, we can enumerate all its elements.