Describir: El producto simétrico de espacios topológicos