Apa itu aljabar-sigma Borel?

Aljabar-$\sigma$ Borel sebuah ruang topologi adalah $\mathcal B(X) = \sigma(\{\text{himpunan terbuka}\})$. Pada $\R$: $\mathcal B(\R)$ juga dibangkitkan oleh selang terbuka, oleh selang tertutup, oleh sinar $(-\infty, a]$, dan oleh sinar yang ujungnya rasional (Latihan 9.1) — sebab setiap keluarga itu membangkitkan himpunan terbukanya lewat operasi terbilang, misalnya setiap himpunan terbuka $\R$ berupa gabungan terbilang selang terbuka yang datanya rasional.