Given a
function [math]f : A \href{/cs2800/wiki/index.php/%E2%86%92}{→} B
[/math], a
left inverse [math]g
[/math] of
[math]f
[/math] is a
function [math]g : B \href{/cs2800/wiki/index.php/%E2%86%92}{→} A
[/math] satisfying
[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}
[/math].
