Ωが有限集合の場合、測度としては
各要素の単集合に0<=p_n<=1の値をつけて
その和が1になるようにするだけのこと