展开 可测集的任意并还是可测集