Esto es, la topología producto es la topología generada por los conjuntos de la forma formula_7, donde B es algún subconjunto finito de A, y formula_5 es abierto en formula_6 para cada formula_10.