One-to-one functions and inverses