Entonces sigue el teorema básico del producto cartesiano, donde dos conjuntos numerables cualesquiera tienen un producto numerable.