Definition:Sigma-Algebra/Definition 1

Definition
Let $X$ be a set.

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

$\Sigma$ is a $\sigma$-algebra over $X$ $\Sigma$ satisfies the sigma-algebra axioms:

Also see

 * Equivalence of Definitions of Sigma-Algebra