Definition talk:Integral of Integrable Function

Integral for not integrable function
For a measurable function $f: X \to \overline \R$, the integral:
 * $\ds \int f \rd \mu$

is well-defined whenever either:
 * $\int f^+ \rd \mu < +\infty$

or:
 * $\int f^- \rd \mu < +\infty$

This definition seems missing in, so this must be added somewhere. --Usagiop (talk) 12:30, 18 June 2022 (UTC)
 * I had noticed this omission but have not needed to say that such an integral exists but is infinite yet, I think Cohn mentions it so I can add it to the source flow in due time. Caliburn (talk) 12:31, 18 June 2022 (UTC)