Lemma 15.1.3. Let $X, Y$ be topological spaces and $f: X \to Y$ be continuous, then $f$ is Borel measurable.