Inverse Map

Definition

$L_2\circ L_1=I_V$ where $L_2$ is the left inverse of $L_2$ and $L_1$ is the right inverse of $L_2$.

If both $L_2\circ L_1=I_V\wedge L_1\circ L_2=I_V$ hold, both are inverse map