展开 函数可测的定义