Construimos una base algebraica contable del álgebra de todos los polinomios continuos simétricos en el producto cartesiano donde , y es el espacio de Banach complejo de todas las secuencias de números complejos sumables a la -potencia para .