すなわち、ある可測函数fに対してν(A)=∫Afdμ{\displaystyle\nu(A)=\int_{A}f\,d\mu}がすべてのボレル集合について成立するものとする。
可以证明，D(A){\displaystyleD(A)}也是K(A){\displaystyle\mathrm{K}(A)}关于所有拟同构的局部化。