展开 可测集的四个充分必要条件