Exercice 7, § 4

Soient $X$ un espace somme d’une famille $(X_\lambda)$ d’espaces topologiques, $Y$ un espace somme d’une famille $(Y_\mu)$ d’espaces topologiques. Montrer que l’espace produit $X \times Y$ est somme de la famille des $X_\lambda \times Y_\mu$.