>>44
その定義ならまったくかまわない。p_iがあの世に属すしろもの
だ。そして iは(標本空間でなく)確率空間全域にわたる総和だ。