 Solution

The quotient set $X/\sim$ consists of the equivalence classes $[x]=\{y\in X:y\sim x\}$. Its collapsing map is the canonical projection of a quotient setEquip this set with the quotient topology:This is a topology because preimages preserve arbitrary unions, finite intersections, the empty set, and the whole set. The resulting topological space is the quotient space. The displayed rule immediately implies that the preimage of every open set is open, so $p$ is continuous; it is also surjective.