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
Context
