离散数学 函数运算 复合 定义 $$ g \circ f (x) := g(f(x)) $$ 性质 结合律 $(f\circ g) \circ h = f \circ (g \circ h)$ 复合不改变 函数性质