可测集的所有子集都可测。