乘積測度

設 和 為測度空間，設 為包含在 中的所有可測矩形的集合，並設 為在 上定義的預測度，由下式給出

對於 。透過乘積測度 ，指的是 在 -可測 子集的sigma-代數上定義的卡拉西奧多里擴張 ，其中 表示由 預測度 在 上誘導的外測度。