Given a
function [math]f : A \href{/cs2800/wiki/index.php/%E2%86%92}{→} B
[/math] and a
function [math]g : B \href{/cs2800/wiki/index.php/%E2%86%92}{→} C
[/math], the
composition of
[math]g
[/math] with
[math]f
[/math] (written
[math]g \href{/cs2800/wiki/index.php/%E2%88%98}{∘} f
[/math]) is the function
[math]g \href{/cs2800/wiki/index.php/%5Ccirc}{\circ} f : A \href{/cs2800/wiki/index.php/%E2%86%92}{→} C
[/math] given by
[math](g \href{/cs2800/wiki/index.php/%5Ccirc}{\circ} f)(a) := g(f(a))
[/math].
