Title: Surjective function
Passage: Any function induces a surjection by restricting its codomain to its range. Every surjective function has a right inverse, and every function with a right inverse is necessarily a surjection. The composite of surjective functions is always surjective. Any function can be decomposed into a surjection and an injection.
Question: is the inverse of a function always surjective
Answer: yes