Bài tập 6, § 4

Cho $X, Y, Z$ là ba không gian tôpô, $A$ là một tập con mở của $X \times Y$ và $B$ là một tập con mở của $Y \times Z$. Chứng minh rằng $B \circ A$ là một tập con mở của $X \times Z$.