Let be the canonical projection, image by of an open saturated set of is open in the quotient topology. So the converse implication is obvious. For the direct implication, two distinct equivalence classes are contained in two disjoint open sets , by definition 's are open sets in , which are indeed disjoint, saturated and