If
[math]f : A \href{/cs2800/wiki/index.php/%E2%86%92}{→} B
[/math] is a
function, then
[math]g : B \href{/cs2800/wiki/index.php/%E2%86%92}{→} A
[/math] is a
two-sided inverse of
[math]f
[/math] if
[math]f \href{/cs2800/wiki/index.php/%5Ccirc}{\circ} g \href{/cs2800/wiki/index.php/Equality_(functions)}{=} \href{/cs2800/wiki/index.php?title=Id&action=edit&redlink=1}{id}_B
[/math] and
[math]g \href{/cs2800/wiki/index.php/%5Ccirc}{\circ} f \href{/cs2800/wiki/index.php/Equality_(functions)}{=} \href{/cs2800/wiki/index.php?title=Id&action=edit&redlink=1}{id}_A
[/math].
