>>479へのレスを考えていたのだけれど、
> これは、Haar測度を使おうと、つまり可算個のものの選び方を一様にしようとしたためではないですか？
この行がまだ消化できてないです。
申し訳ないけれど説明を追加してもらえないでしょうか。

なお>>479の★は問題ないです。