Theorem 18.5.4 ([Theorem 7.8, Fol99]).label Let $X$ be a topological space and $\mu: \cb_{X} \to [0, \infty]$ be a Borel measure. If:
- (a)
$X$ is a LCH space.
- (b)
Every open set of $X$ is $\sigma$-compact.
- (c)
For any $K \subset X$ compact, $\mu(K) < \infty$.
then $\mu$ is a regular measure.