If  f : A→ B  and  g : A→ B  exist,
then there is a function  mapping  h : A→ C .
Function h is the composition of functions f  and g
and h(x) = f (g (x)).

Example

Example

© Alexander Forrest