展开 不可测集并上一个可测集