展开 可测集到底是什么