Sea X = ∏ X_I el espacio topológico producto de los X's.