Sean tres conjuntos $A$ ,$B$ y $C$ y dos aplicaciones definidas $f:A \longrightarrow B$ y $g: B \longrightarrow C $ llamaremos aplicación compuesta de $f$ y $g$ a
$$ (f \circ g): A \longrightarrow C $$ a la aplicación que asigna al elemento a el elemento c la imagen por $g$ del elemento $b$ el cual es imagen de a por $f$
$$ (f \circ g) (a) = g(f(a)) $$
