Se sono quattro insiemi e
due funzioni – rispettivamente definite in
e
e aventi codominio
e
– tali che il codominio
della funzione
è contenuto nel dominio
della funzione
, per qualunque elemento
dell’insieme
si può costruire la funzione composta
definita nell’insieme e avente come codominio l’insieme
; la funzione composta
viene indicata con il simbolo
.