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.
New to topics? Read the docs here!