Let and be functions. The composition of and is the function $\boxed{ (f \circ g): A \rightarrow C }$, can also define this for all $a \in A$ as: $$ (f \circ g)(a) = f(g(a)) $$

We only define the composition when the codomain of is equal to the domain of .