全期望公式同一有限機率空間上，完整partition各cell的conditional mean按cell probability加權後等於E[X]。atlas-law-of-total-expectation · canonical_mko全期望公式前置節點有限條件期望有限模型的期望值事件