ボレル測度
フロストマンの補題の有用な系として、ボレル集合 の -次元容積（内測度、）formula_2（ここで および と約束する。また上と同様 は非負値ボレル測度とする）を用いた以下のようなものがある: