La topología producto deberá tener, por lo tanto, a las preimágenes de los abiertos de los factores como una subbase.