Table of Contents - 20.39.19.6. Measurable functions
Proofs for most of the theorems in section 121 of [Fremlin1]. Real-valued
functions are considered, and measurability is defined with respect to an
arbitrary sigma-algebra. When the sigma-algebra on the domain is the
Lebesgue measure on the reals, then all real-valued measurable functions
in the sense of df-mbf are also sigma-measurable, but the definition in
this section considers as measurable functions, some that are not measurable
in the sense of df-mbf (see mbfpsssmf and smfmbfcex).