The space consists of all measurable functions for which the square of the absolute value is Lebesgue integrable. Formally, a function belongs to the space on a measure space if:

In simpler terms, is square-integrable if the integral of over the domain is finite.