今、可測集合An,k=f−1(In,k){\displaystyleA_{n,k}=f^{-1}(I_{n,k})\,}fork=1,2,…,22n+1{\displaystylek=1,2,\ldots,2^{2n}+1}を定義する。
我们定义可测集合An,k=f−1(In,k){\displaystyleA_{n,k}=f^{-1}(I_{n,k})}，对于k=1,2,…,22n+1{\displaystylek=1,2,\ldots,2^{2n}+1}。