Borel measure
が位相空間で、 が におけるボレル集合全体の成す -代数であるとき、 の部分空間として、 上のすべての正則ボレル測度からなる空間 を考えることができる 。