可测集的所有子集都可测。
出自:实变函数