Inom matematiken är funktionskomposition ett sätt att skapa en ny funktion av två andra funktioner genom en kedjeliknande process.
Närmare bestämt, givet en funktion f från X till Y och en funktion g från Y till Z, är funktionen "g sammansatt med f", skriven som g ∘ f, en funktion från X till Z (lägg märke till att det vanligtvis skrivs på motsatt sätt än vad folk förväntar sig att det ska vara).
Värdet av f givet indata x skrivs som f(x). Värdet av g ∘ f givet indata x skrivs som (g ∘ f)(x) och definieras som g(f(x)).
Låt f vara en funktion som fördubblar ett tal (multiplicerar det med 2) och låt g vara en funktion som subtraherar 1 från ett tal. Dessa två funktioner kan skrivas som:
Här skulle g i kombination med f vara den funktion som fördubblar ett tal och sedan subtraherar 1 från det. Det vill säga:
Å andra sidan skulle f sammansatt med g vara den funktion som subtraherar 1 från ett tal och sedan fördubblar det:
Komposition av funktioner kan också generaliseras till binära relationer, där den ibland representeras med samma symbol (som i
).