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!