Tolong jelaskan mengenai Definisi dari Aljabar sigma

Misalkan  himpunan dan  himpunan kuasa. Keluarga bagian  disebut aljabar-σ, jika memenuhi sifat-sifat:

Dengan kata lain, kita punyai  tertutup atas operasi gabungan terhitung dan komplemen. Dalam teori ukuran, pasangan  disebut ruang terukur.

Untuk suatu himpunan ,  aljabar-σ yang terkecil dan  aljabar-σ yang terbesar.

Untuk suatu ruang topologi , aljabar Borel adalah aljabar-σ terkecil yang memuat semua himpunan dari .