Aljabar sigma

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