Let and be sets and let be the set of natural numbers. Then the following hold.
1. (Products.) If and are countable, then the Cartesian product is countable.
2. (Powers.) If is countable and , then the set of -tuples in is countable.
Loading…
No relations recorded yet.