MathGloss

Let f:ABf:A\to B be a function.

A left inverse of ff is a function g:BAg:B\to A such that gf(a)=ag\circ f(a) = a for all aAa \in A.

A right inverse of ff is a function g:BAg:B\to A such that fg(b)=bf\circ g(b) = b for all bBb\in B.

An inverse of ff is a function f1f^{-1} that is both a left and a right inverse of ff.

Wikidata ID: Q191884