結果 : how to tell if a function has a well defined inverse