This seems like the correct definition of inverse.