From Cantor we know that |R| = 2^|Z|. That is, |R| is equal to the number of subsets of Z. Is it also true that |R| is equal to the number of *infinite* subsets of Z?



Is the number of infinite subsets of Z equal to the size of R?
Yes, because there are only countably many finite subsets of Z.


