[1]}
Let \((\mathbb {X}, T)\)  be any topological space and \(\mu \)  a finite,
closed regular Borel measure on \(\mathbb {X}\) . Let \((\mathbb {S}, d)\)  be a separable metric space and let \(f\)  be a Borel-measurable function from \(\mathbb {X}\)  into \(\mathbb {S}\) . Then for any \(\epsilon > 0\)  there is a closed set \(F \subset \mathbb {X}\)  such that \(\mu (\mathbb {X}\setminus F) < \epsilon \)  and the restriction of \(f\)  to \(F\)  is continuous.
