博雷尔函数定义