# Claim:Functions with left inverses are injective

If a function has a left inverse , then is injective.