Borel algebra

Set

 context $\langle X,\mathcal T\rangle \in \mathrm{TopSpace}(X)$
 definiendum $\mathcal B(X):\equiv \sigma(\mathcal T)$

Discussion

The Borel algebra of $X$ is the smallest σ-algebra formed from its open sets.

Reference

Wikipedia: Borel set