Finite-measure set ($\mu (E)<\infty$)

A finite-measure set is a measurable set on which the ambient measure is finite. Restricting to such a set makes its indicator function belong to every Lp space with finite exponent, enabling local Radon-Nikodym theorem arguments even when the whole measure space is not sigma-finite.