M.4HSTP.21.c: Produce an invertible function from a non-invertible function by restricting the domain.