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.

Discussion

Parents

Subset of

Measurable function

Context

Borel subsets of the reals