# The Pseudoinverse

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.$