This page is a sub-page of our page on Linear Algebra.
Def: The mapping g is an inverse of the mapping f if:
g \circ f = f \circ g = id.
Def: The mapping g is a (Moore-Penrose) pseudoinverse of the mapping f if:
f \circ g \circ f = f.