Measure Algebra

A Boolean Sigma Algebra which possesses a Measure.