長さkの有限列全体をSkとすれば有限列全体は∪Sk。
各Skの測度m(Sk)をkに関する適当な離散分布に乗せる。
各Skに属す元は可算個なのでやはり適当な離散分布に乗せる。
これで∪Skの各元を含む測度空間が定義できた？？

重要なポイントを見落としている気がする（笑）