linguistic:voice_change
Right inverses

A right inverse for f (or section of f) is a function h: Y → X such that

That is, the function h satisfies the rule

Thus, h (y) may be any of the elements of X that map to y under f.

A function f has a right inverse if and only if it is surjective (though constructing such an inverse in general requires the axiom of choice).