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}^n$ be the collection of open rectangles in $\R^n$.

Let $\mathcal{J}^n_{\text{rat}} = \mathcal{J}^n \cap \Q^n$ be the collection of 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}^n}\right) = \sigma \left({\mathcal{J}^n_{\text{rat}}}\right)$