测度formula_14定义为在可测空间formula_15上唯一的测度，适合对所有 事实上对所有可测集"E"，其中formula_19，formula_20，两个都是可测集。这测度的存在性和唯一性是得自哈恩-柯尔莫哥洛夫定理.欧几里得空间R上的博雷尔测度可得自"n"个实数轴R上的博雷尔测度的积。