乘积测度

设 和 为测度空间，设 为包含在 中的所有可测矩形的集合，并设 为在 上定义的预测度，由下式给出

对于 。通过乘积测度 ，指的是 在 -可测 子集的sigma-代数上定义的卡拉西奥多里扩张 ，其中 表示由 预测度 在 上诱导的外测度。