A square integrable function on a measure space
is a measurable function
or
satisfying
The equivalence classes of these functions, identified when equal almost everywhere, form
the L2-space (Axler 2026, pp. 194 and 202).
For Lebesgue measure on , this condition is
It does not imply that is Lebesgue integrable.
For example,
is square integrable on
, but
.