Solution

ID: past-exam-of-the-options-ii-course-of-the-university-of-oxford/2012/e/e4/a/iv/solution

Let two distinct quotient points correspond to two equivalence classes. By hypothesis those classes lie in disjoint open saturated sets . Saturation gives , so the quotient definition makes open, and likewise .
The image sets contain the two quotient points and are disjoint. Indeed, a class meeting both and would be contained in each because both sets are saturated, contradicting their disjointness. Thus the quotient is Hausdorff.

New to topics? Read the docs here!