在数学领域，两个函数的复合函数指一个将第一个函数作用于参数，然后再将第二个函数作用于所得结果的函数。
具体来说，给定两个函数f : X → Y和g : Y → Z，其中f的陪域等于g的定义域（称为f、g可复合），则其复合函数，记为g o f，以X为定义域，Z为陪域，并将任意x∈X映射为g(f(x))。有时也省略复合记号“o”，直接写作g f。
函数的复合满足结合律：若f、g可复合，g、h可复合，则有：
函数的复合可以看作是二元关系复合的一个特例。
