Measure algebra

In mathematics, a measure algebra is a Boolean algebra with a countably additive positive measure. A probability measure on a measure space gives a measure algebra on the Boolean algebra of measurable sets modulo null sets.

Definition

A measure algebra is a Boolean algebra with a measure , which is a real-valued function on such that:

• if
• for
• If are pairwise disjoint, then

References