Podemos dotar a X de la "topología producto", que es aquella que tiene como una subbase a los conjuntos de la forma formula_4 donde cada formula_5 es un abierto de formula_6.