ここでformula_19は確率変数列formula_20によって生成されたσ-加法族を表す。