Kolmogorov axioms (source code)

= Kolmogorov axioms
{c}

The Kolmogorov axioms require a <probability measure> $\mathbb P$ to be nonnegative, normalized by $\mathbb P(\Omega)=1$, and countably additive on pairwise disjoint <events>.