设事件 是样本空间 的一个分划, 为试验的任一事件. 且 ,则有