展开 可测集合的条件