HSF.BF.B.4.d: Produce an invertible function from a non-invertible function by restricting the domain.

Also written as F-BF.4.d, F-BF.4d or F.BF.4.d