Cho một tập \Omega. Một σ-algebra (hay σ-đại số) \mathcal{F} là một họ các tập con của \Omega thoả mãn: 1. Chứa toàn tập: \Omega \in \mathcal{F}. 2. Đóng dưới phép bù: A \in \mathcal{F} \quad\Rightarrow\quad A^c := \Omega \setminus A \in \mathcal{F}. 3. Đóng dưới hợp đếm được: Nếu A_1, A_2, A_3, \dots \in \mathcal{F} thì \bigcup_{n=1}^\infty A_n \in \mathcal{F}.

⸻

2. Hệ quả

Từ ba tiên đề trên, suy ra: • \varnothing \in \mathcal{F} (lấy bù của \Omega). • Đóng dưới giao đếm được (vì giao = bù của hợp các bù). • Đóng dưới hiệu tập hợp (vì A \setminus B = A \cap B^c).