Solution

ID: past-exam-of-the-topology-course-of-the-university-of-oxford/2015/2/c/i/solution

Since misses , the open set contains the whole collapsed equivalence class . Every other equivalence class is a singleton, so is saturated under the saturation of a subset operation:
Its preimage is open, so the quotient topology gives
The hypothesis is exactly what prevents the saturation of a subset from adding missing points of the collapsed class.

New to topics? Read the docs here!