Seja uma probabilidade sobre um espaço amostral finito . Se e são eventos de tais que , e , as probabilidades dos eventos , e são, respectivamente,