张量积的部分陈维桓的书写的比较乱，而且有错的地方，这里下图给了更正后的形式。

通常完备的测度空间更加well-defined，在其上也才更加有数学价值，所以上面的定理通常在完备的测度空间用。
这里的“完备化”指赋予零测集的子集以可测的过程，显然它们测度也是0，这个过程其实很简单。我直接把自己的概率论论文部分截个图：


构造完备化的方法和上面部分的构造法完全一致。

张量缩并、外代数继续缓更。