sigma-finite Measure

Let be a Measure Space
Suppose there exists a sequence in with

and for all :

Then is a -finite measure.

A Finite Measure is always -finite.