Bài tập 8, § 4

Cho $(G_i)_{i \in I}$ là một họ các đồ thị của các quan hệ tương đương (Lý thuyết tập hợp, Chương II, § 6, no. 1) trên một không gian tôpô $X$, và cho $R_i$ là quan hệ $(x, y) \in G_i$; khi đó

là đồ thị của một quan hệ tương đương $R$ trên $X$. Chứng minh rằng có một đơn ánh liên tục chính tắc từ không gian thương $X/R$ vào không gian tích $\prod_{i \in I} (X/R_i)$.