【 べいずのこうしき (Bayes' Formula) 】
を全事象の分割, すなわち, かつとするとき, 事象のもとでの事象の条件付き確率は
と表せる. これをベイズの公式とよぶ. ベイズの公式は, 事象の事前確率と, 事象が起きた後の事後確率の関係を示している.