Definition:Sigma-Algebra/Definition 1

Definition
Let $X$ be a set.

A $\sigma$-algebra $\Sigma$ over $X$ is a system of subsets of $X$ with the following properties:

Also see

 * Equivalence of Definitions of Sigma-Algebra