Definíció-összetett fg.
Két függvény összekapcsolását, egymás utáni alkalmazását nevezzük a két függvény összetételének (kompozíciójának).
Az A → B, x ↦ f(x) és a C→D, z ↦ g(z) függvények C→B, z ↦ f(g(z)) összetétele pontosan akkor értelmezhető, ha g(z) eleme az f függvény értelmezési tartományának, vagyis A-nak.
Általában nem mindegy , hogy milyen sorrendben alkalmazom egymás után a két függvényt. Pl.: f: x ↦ x² , g: z ↦ z +3 , f(g(z)): (z+3)²
g(f(x)): x²+3