Inverse Functions and Domain Restriction