Una medida de probabilidad es una medida P que asigna a cada conjunto en el σ-álgebra de un espacio muestral, un número en el intervalo [0, 1] y tiene las siguientes propiedades: Sea E un espacio muestral y β un σ-álgebra de subconjuntos de E.
Decimos que P es una medida de probabilidad en el espacio muestral E si satisface los siguientes axiomas: (1)
{\displaystyle 0\leq P(A)\leq 1}
{\displaystyle P(E)=1,\quad P(\phi )=0\!}
{\displaystyle P(A_{1}\cup A_{2}\cup \cdots )=\sum P(A_{i})}