Borel Sigma-Algebra

Definition

Borel $\sigma$-algebra on a topological space $X$ is the one generated by the open sets $\tau$.