# Proof:Functions with left inverses are injective

If a function has a left inverse , then is injective.
Proof: Functions with left inverses are injective
Assume has a left inverse , so that . We want to show that is injective, i.e. that for all , if then . Choose arbitrary and in , and assume that . Since have , as required.