Identify when . Every nonempty saturated open subset of meets every other one because rational translates of any open interval meet any prescribed nonempty open interval. The quotient has multiple points but no two nonempty disjoint open subsets, so it is not Hausdorff.
Codex Wiki