Axiom:Sigma-Algebra Axioms

Definition
Let $X$ be a set.

Let $\Sigma$ be a system of subsets over $X$.

$\Sigma$ is said to satisfy the sigma-algebra axioms with the following axioms are satisfied:

Also see

 * Sigma-algebra