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…
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.