(i) | $\text{MS} = \text{MS}(X \to [0, \infty])$ is the D2958: Set of measurable simple functions on $M$ |
(ii) | $f : X \to [0, \infty]$ is a D313: Measurable function on $M$ |
(i) | $\text{MS} = \text{MS}(X \to [0, \infty])$ is the D2958: Set of measurable simple functions on $M$ |
(ii) | $f : X \to [0, \infty]$ is a D313: Measurable function on $M$ |