This is an old revision of the document!
Positive measurable numerical function
Definition
$ \langle X,\Sigma_X\rangle\in \mathrm{MeasurableSpace}(X) $ |
$f\in \mathcal M^+$ |
$f\in \mathrm{Measurable}(X,\overline{\mathbb R})$ |
$x\in X$ |
$f(x)\ge 0$ |