show/hide this revision's text 1 [made Community Wiki]

Every finite Borel measure defined on a Polish space is regular, see e.g., Lemma 26.2 in Heinz Bauer: Measure and Integration Theory.