展开 可测集的运算性质