1: \begin{definition} \label{D:BorelAlgebra}

2: The \emph{Borel $\sigma$-algebra} (or simply the \emph{Borel algebra}) on a metric space $X$ is the smallest $\sigma$-algebra containing all open sets in $X$. A set is said to be \emph{Borel} if it is in the Borel algebra. If $X$ is separable, then the Borel algebra is the smallest $\sigma$-algebra containing the open balls of $X$, as shown in Theorem \ref{T:BallsGenerateOpenSets} below.

3: \end{definition}

4: