Left inverse property loop

Definition
A loop $$(L,*)$$ is termed a left-inverse property loop or LIP-loop or left-inverse loop if there exists a bijection $$\lambda:L \to L$$ such that:

$$\! \lambda(a) * (a * b) = b \ \forall \ a \in L$$