Inverse Functions and Domain Restrictions