Consider a Probability Space where is a Measurable Space and is a Measure on with . Then the Measure is said to be a probability measure. Equivalently, is said to be normalized.
See also Measurable Space, Measure, Probability, Probability Space, State Space