See Measure theory

A space consisting of a set $\Omega$, and a Sigma-algebra $\mathcal{A}$.