Matemáticamente el teorema de Bayes se establece en las mismas condiciones que el teorema de la probabilidad total: