### Let X and Y be non-empty sets and f a mapping of X into Y. Show that f is one-to-one iff there exists a mapping g of Y into X such that gf = iX.

Topology Sets and Functions (XXXVII) Functions Let X and Y be non-empty sets and f a mapping of X into Y. Show that f is one-to-one iff there exists a