和formula_2是两个测度空间，就是说formula_3和formula_4分别是在formula_5和formula_6上的σ代数，又设formula_7和formula_8是其上的测度。以formula_9记形如formula_10的子集产生的笛卡儿积formula_11上的σ代数，其中formula_12及formula_13。积测度formula_14定义为在可测空间formula_15上唯一的测度，适合对所有 事实上对所有可测集"E"，其中formula_19，formula_