Dado un conjunto de sucesos elementales, "Ω", sobre el que se ha definido una σ-álgebra (léase sigma-álgebra) σ de subconjuntos de "Ω" y una función P que asigna valores reales a los miembros de σ, a los que denominamos "sucesos", se dice que P es una probabilidad sobre ("Ω",σ) si se cumplen los siguientes tres axiomas.