单边函数 单调递增函数 左一一的函子 上限函数 三次函数 三角函数 一一的函子 一一对应函数