\begin{definition}[Definition:Extended Real Sigma-Algebra]
Let $\struct {\overline \R, \tau}$ be the extended real number space.
The '''extended real $\sigma$-algebra''' $\overline \BB$ is the Borel $\sigma$-algebra $\map \BB {\overline \R, \tau}$.
\end{definition}