Finite measure (source code)

= Finite measure
{wiki}

A measure $\mu$ on $X$ is finite when $\mu(X)<\infty$.