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