F-BF.B.4.d: (+) Produce an invertible function from a non-invertible function by restricting the domain.