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