Definition:Borel Sigma-Algebra

Definition
The Borel or topological sigma-algebra (or $\sigma$-algebra) $\mathcal B \left({S, \tau}\right)$ of a topological space $\left({S, \tau}\right)$ is the $\sigma$-algebra generated by $\tau$.

Sometimes, the name Borel sigma-algebra is reserved for $\mathcal B \left({\R^n, \tau}\right)$, where $\tau$ is the Euclidean topology.

Borel Sets
The elements of $\mathcal B \left({S, \tau}\right)$ are called the Borel (measurable) sets of $\left({S, \tau}\right)$.

Also known as
When the set $S$ or the topology $\tau$ are clear from the context, one may encounter $\mathcal B \left({\tau}\right), \mathcal B \left({S}\right)$ or even just $\mathcal B$.

Also, some authors write $\mathcal{B}^n$ for $\mathcal B \left({\R^n, \tau}\right)$.