La primera versión es un producto infinito de espacios topológicos.