Characterization of Euclidean Borel Sigma-Algebra

Theorem
Let $\mathcal{O}^n$, $\mathcal{C}^n$ and $\mathcal{K}^n$ be the open, closed and compact subsets of the Euclidean space $\left({\R^n, \tau}\right)$, respectively.

Let $\mathcal{J}_{ho}^n$ be the collection of half-open rectangles in $\R^n$.

Let $\mathcal{J}^n_{ho, \text{rat}} = \mathcal{J}_{ho}^n \cap \Q^n$ be the collection of half-open rectangles in $\R^n$ with rational endpoints.

Then the Borel $\sigma$-algebra $\mathcal B \left({\R^n}\right)$ satisfies:


 * $\mathcal B \left({\R^n}\right) = \sigma \left({\mathcal{O}^n}\right) = \sigma \left({\mathcal{C}^n}\right) = \sigma \left({\mathcal{K}^n}\right) = \sigma \left({\mathcal{J}_{ho}^n}\right) = \sigma \left({\mathcal{J}^n_{ho, \text{rat}}}\right)$

where $\sigma$ denotes generated $\sigma$-algebra.