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.