measurable space

A measurable space consists of a set and a sigma algebra, and specifies which subsets are measurable.

Formally,
given a set $S$ and a $\sigma$-algebra $\mathcal{\Sigma }$ on $S$, the tuple $(S,\mathrm{\Sigma })$ is a measurable space.