ボレル測度
距離空間 のボレル集合族上定義されたボレル測度 が存在して、全測度が かつ が適当な定数 および 内の任意の球体 に対して成り立つならば、 である。フロストマンの補題によって、部分的な逆が得られる（詳細は当該の項目を参照）。