Apa itu aljabar-sigma?

Sebuah aljabar-$\sigma$ pada himpunan $X$ adalah keluarga $\mathcal A$ berisi himpunan bagian yang memuat $\varnothing$, stabil terhadap komplemen dan terhadap gabungan terbilang (sehingga juga terhadap irisan terbilang, selisih himpunan, dan ia memuat $X$). Pasangan $(X, \mathcal A)$ disebut ruang terukur; dan anggota $\mathcal A$ disebut himpunan terukur. Untuk sembarang keluarga $\mathcal E$ berisi himpunan bagian, $\sigma(\mathcal E)$ melambangkan aljabar-$\sigma$ terkecil yang memuat $\mathcal E$ (yakni irisan semuanya — sebab irisan aljabar-$\sigma$ tetap demikian).