Theorem 4.8:

Let $X$ be a compact Hausdorff space and $\sim$ be a closed relation on $X$. Then,

(a)

The map $\eta$ is a closed map.

(b)

The quotient space $X/\sim$ is Hausdorff.