Probability measure

A function defined on a σ-algebra that satisfies Kolmogorov's axioms: non-negative values for all events, total measure of the sample space equals 1, and countable additivity for disjoint events. It is the formal mathematical foundation of probability theory and the third element of a probability space.