## Measurable numerical function

### Set

 context $\langle X,\Sigma_X\rangle\in \mathrm{MeasurableSpace}(X)$
 postulate $\mathcal M \equiv\mathrm{Measurable}(X,\overline{\mathbb R})$

Where for $\mathbb R$ we choose the Borel subsets of the reals.