Go backward to Countable Sets Go up to Top Go forward to Example |
Z is infinite but it is countable because we can define
i.e.,
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.