Exercise 7, § 4

Let X be a compact metrizable space and R an open equivalence relation on X such that the quotient space X/R is irreducible. Show that there exists a point x ∈ X whose class mod. R is everywhere dense. (Note first that every open subset of X which is saturated with respect to R is everywhere dense. Then use Baire’s Theorem.)