A measurable space is the pair $(X,\mathcal M)$ consisting of a set $X$ and a σ-algebra $\mathcal M$ of subsets of $X$. A subset $E$ of $X$ is measurable if it is an element of $\mathcal M$.