假設{ B n: n = 1, 2, 3, ... } 是一個 機率空間 的有限或者可數無限的 分割 (既 B n 為宜完備事件組),且每個集合 B n 是一個 可測集合 ,則對任意事件 A 有 全機率 ...
zh.wikipedia.org