A probability measure 
on a measurable space 
is a measure
on 
with 
.
The triple 
is a probability space. Equivalently, 
is said to be normalized.
A probability measure satisfies countable additivity. A finitely additive probability measure is only required to satisfy finite additivity, and its domain may be an algebra of sets (Juschenko 2015, p. 28).
