Bài tập 7, § 4

Cho $X$ là tổng của một họ $(X_\lambda)$ các không gian tôpô, $Y$ là tổng của một họ $(Y_\mu)$ các không gian tôpô. Chứng minh rằng không gian tích $X \times Y$ là tổng của các $X_\lambda \times Y_\mu$.