展开 可测集合的定义