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:

{\displaystyle f(x)=2x}

{\displaystyle g(x)=x-1}

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:

{\displaystyle (g\circ f)(x)=2x-1}

Å andra sidan skulle f sammansatt med g vara den funktion som subtraherar 1 från ett tal och sedan fördubblar det:

{\displaystyle (f\circ g)(x)=2(x-1)}

Komposition av funktioner kan också generaliseras till binära relationer, där den ibland representeras med samma symbol {\displaystyle \circ }{\displaystyle \circ } (som i S {\displaystyle R\circ S}{\displaystyle R\circ S} ).