Definition:Finite Measure Space

Definition
A measure space $\struct {X, \Sigma, \mu}$ is said to be finite $\mu$ is a finite measure.