Consider a probability space specified by the triple (S, S, P), where (S, S) is a measurable space, with S the domain and S is its measurable subsets, and P is a measure on S with P(S) = 1. Then the measure P is said to be a probability measure. Equivalently, P is said to be normalized.

measurable space | measure | probability | probability space | Radon measure | state space