Borel measure
ユークリッド空間 R"n" 上のボレル測度は、実数直線 R 上のボレル測度の "n" 個のコピーの積として得られる。