展开 布尔巴基函数关系说定义