Específicamente, se considera el producto infinito contable de las copias de formula_4.