Definition:Measure Space

Definition
A measure space is a triple $\struct {X, \Sigma, \mu}$ where:


 * $X$ is a set


 * $\Sigma$ is a $\sigma$-algebra on $X$


 * $\mu$ is a measure on $\Sigma$.

Thus it is a measurable space $\struct {X, \Sigma}$ with a measure.