Finite Cartesian power of a countable set

ID: finite-cartesian-power-of-a-countable-set

A finite Cartesian product of countable sets is countable. For a fixed finite exponent , index tuples in can be listed by increasing maximum coordinate, with each group finite. If is countably infinite and , its power is also countably infinite.

New to topics? Read the docs here!